[breck]

There are so, so many rich sidenotes in this post.

One I like:

"Of course, there are confusions. There’s yet another birthdate for Schönfinkel: September 4, 1889. Wrong year. Perhaps wrongly done correction from the Julian calendar."

Here we are over 100 years later and still dealing with constant time and calendar bugs.