More Proofs Using Subproofs

From Nathan Smith  

comments