3 later devices reach Tranquil-C Interbody System through their predicates, nearest generation first.