3 later devices reach NPseal (Small, Medium, Large) through their predicates, nearest generation first.