Transformation proofs