2 later devices reach da Vinci SP Firefly Imaging System through their predicates, nearest generation first.