Reformatting of proofs 2.4(a),(b) - using fitch.sty package. Still not ideal, but better
Reformatting proofs 2.3
Added new PDF