2 later devices reach SAHARA Stabilization System through their predicates, nearest generation first.