4 later devices reach Atlas Spine Pivoting System through their predicates, nearest generation first.