Make clear that the algorithms for turning lists into trees are folklore.