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