print proofs