2 later devices reach PMT-Halo/Orthopedic Jacket System through their predicates, nearest generation first.