Change proofs