Design a counting scheme that charges each level in
T
with the transitive closure edges that go from that level to lower levels.