Methods of transforming proofs