 We'd like to thank Chris Menzel for prompting us to make some improvements to the definition of 'natural deduction' in the main text (so as to better accommodate sequent natural deduction) and to the presentations of some of the Fitch-style proofs.