Print Sized Proofs

Print Sized Proofs