2 later devices reach Ivs Introducer Set, Model 1003 through their predicates, nearest generation first.