2 later devices reach Choice Spine Navigation System through their predicates, nearest generation first.