change theorem descriptions and change proofs