Devices descending from K072615

3 later devices reach Txcontrol through their predicates, nearest generation first.