Proposition de Traduction de Proof, David Auburn