2010-07-16 10:23:22+00:00 New mathem-o-blog post: Lists and finite trees are $E_3$ (http://bit.ly/a1gKPQ)