  Most of the individual Arguments in D3 are logically interconnected, and connected to Arguments within previous Deductions. The only exception is D3A2C1, which does not depend on any previously established Conclusions. (For details, see Rickless (2007, 198–206).)