2 later devices reach Fix2Lock (PEEK Self Punching) through their predicates, nearest generation first.