3 later devices reach Health Care System Software through their predicates, nearest generation first.