2 later devices reach Huvex Interspinous Fusion System through their predicates, nearest generation first.