2 later devices reach BD FlowSmart Set, MiniMed Pro-Set through their predicates, nearest generation first.