2 later devices reach Automated Vitrectomy Device through their predicates, nearest generation first.