The three walkthrough READMEs are rigorous and complete; they have every step of the math. This companion sits beside them and answers a different question. The walkthroughs answer: "how is this ...