4 later devices reach Modification to: Horizon 9000WS through their predicates, nearest generation first.