Proofs or Identities