this has the weird but nice emergent property that terms at the same height are roughly at the same level of abstraction.