2 later devices reach Nmi Coaxial Microintroducer Set through their predicates, nearest generation first.