minimize proofs