1. The Result
What has been proved, from what. This part states the vocabulary, the four axioms, the hypotheses, and the two theorems, and reads the receipt. Every docstring is pulled from the library at build time. How each piece came to be stated this way, and what was tried and refuted before it, is the archaeology part.