3 later devices reach Closed System Transfer Device through their predicates, nearest generation first.