Just a little nitpick.

Eliezer, I think you meant to say that "19 * 103 might not be 1957" instead of 1947. Either that or I'm misunderstanding that entire paragraph.