2 later devices reach Spineology Navigation Instruments through their predicates, nearest generation first.