2 later devices reach Mas with or Without Syringe through their predicates, nearest generation first.