changes for proofs