3 later devices reach Atr 5000, LC 5000, Implant System through their predicates, nearest generation first.