4 later devices reach Springtms Total Migraine System through their predicates, nearest generation first.