3 later devices reach ARVIS Surgical Navigation System through their predicates, nearest generation first.