Simplifies proofs