simplify proofs