  Each Deduction consists of separate stretches of reasoning (call them “Arguments”) leading to a number of logically interconnected results (call them “Conclusions”). The summary to follow is governed by the following notational conventions. Each Deduction receives a number (“D1” for the first Deduction, “D2” for the second Deduction, and so on) and each Argument within each Deduction receives a number (“A1” for the first Argument, “A2” for the second Argument, and so on). (The Appendix to the first two Deductions will be called “App”.) If an Argument has exactly one Conclusion, the single Conclusion will be referred to as “C”. If an Argument has more than one Conclusion, the Conclusions will be numbered (“C1” for the first Conclusion, “C2” for the second Conclusion, and so on).