2 later devices reach Crosser Recanalization System through their predicates, nearest generation first.