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