2 later devices reach Materialise TKA Guide System through their predicates, nearest generation first.