2 later devices reach Modification to Alloy Primer through their predicates, nearest generation first.