1,002 later devices reach Modification to Verte-Stack through their predicates, nearest generation first.