An entity is an ultimate controller of another entity if, and only if:
(a) the first entity * controls (for value shifting purposes) the other entity; and
(b) there is no entity that controls (for value shifting purposes) both the first entity and the other entity.