1. Introduction -- Part I: The Skeleton of Reason -- 2. A formal skeleton of reason -- 3. Reason in light of the skeleton -- Part II: The Model of Precise Reasoning -- 4. Boolean algebras come with lots of laws -- 5. With fewer laws: ortho-lattices and De Morgan algebras -- 6. Conjectures on...