jaymes_print_proofs