Apparently, having a journal entry counts as a/. "achievement". It's about the only reason I can conceive of for making this journal entry. It's a fairly weak reason, at that, since most/. "achievements" are by no means achievements.
"This is lemma 1.1. We start a new chapter so the numbers all go back to one."
-- Prof. Seager, C&O 351