:add: TUs for topology (propagation left)