4 later devices reach SuRgical Planner (SRP) BrainStorm through their predicates, nearest generation first.