Proof identities