In the following proof script:Theorem foo : exists p, p = (1, 1).Proof. eexists ?[p]. destruct ?p.we