3 later devices reach Copilot Health Management System through their predicates, nearest generation first.