Equations or Proofs