Random trees are fun