  Most of the individual Arguments in D7 are logically interconnected, and connected to Arguments within previous Deductions. The exceptions are D7A1C1 and D7A3C5, which do not depend on any previously established Conclusions. (For details, see Rickless (2007, 228–236).)