2 later devices reach HEALIX ADVANCE SP PEEK Anchor through their predicates, nearest generation first.