Random trees have height O(n) | Synapse