3 later devices reach Pos-T-Vac Avp-1000 & MVP-700 through their predicates, nearest generation first.