Fitch in LaTeX

Well, it seems I also need to do natural deduction in the logic class. As before, the documentation for the best fitch package out there was a bit sparse. So here's a guide to formatting fitch-style proofs in LaTeX I just threw together....