2 later devices reach INFINITY Total Ankle System through their predicates, nearest generation first.