clear(print_proofs).
