  Most of the individual Arguments in D5 are logically interconnected, and connected to Arguments within previous Deductions. The exceptions are D5A1C1, D5A1C2, D5A3C, D5A5C1, D5A8C1, D5A8C2, and D5A10C1, which do not depend on any previously established Conclusions. (For details, see Rickless (2007, 212–223).)