  Most of the individual Arguments in D1 are logically interconnected. The exceptions are D1A1C, D1A9C1, D1A9C2, D1A10C, and D1A11C, which do not depend on any previously established Conclusions. (For details, see Rickless (2007, 112–137).)