2 later devices reach Cadence Peek Cemeent Restrictor through their predicates, nearest generation first.