2 later devices reach Alphenix, INFX-8000C/B, V8.0 through their predicates, nearest generation first.