2 later devices reach Navigated INFINITY Instruments through their predicates, nearest generation first.