2 later devices reach Microcruiser Plus Introducer Set through their predicates, nearest generation first.