The irrefutable truths dredged from the tests: Leakage, Laziness, and the Necessity of the Trace.
Chapter 1: Chapter 1: The Axiom of Leakage
Chapter 2: Chapter 2: The Axiom of Laziness
Chapter 3: Chapter 3: The Axiom of the Trace
Chapter 4: Chapter 4: The Axiom of Entrainment