3 later devices reach Corplex P / Theracor P / Allacor P through their predicates, nearest generation first.