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