just simplify a number of proofs