2 later devices reach Annextm Adjacent Level System through their predicates, nearest generation first.