3 later devices reach Straumann Guided Instruments through their predicates, nearest generation first.