2 later devices reach Mini Ghost Pta Catheter, Model 507 through their predicates, nearest generation first.