Add old Church-Rosser blog post.