Or, maybe he had a sense of humor, and made his margin annotation knowing full well that this would cause a lot of headscratching. It may well be the first recorded version of nerdsniping.

▲

ljlolel 6 days ago | parent [-]

More likely he decided to leave it in as a nerdsnipe rather than he wrote it in the first place as a nerdsnipe (seems more likely he thought he had it?)

▲

lo_zamoyski 6 days ago | parent [-]

Or he forgot about it? Why should he have a margin note at the top of his mind?

I make notes all the time that I accidentally discover years later with some amusement.

	▲	ljlolel 6 days ago \| parent [-]
		Yea I’m partly saying he came across it or remembered it much later and was amused to not correct it