David,
Something odd about your message which confuses my mail tool and doesn't
quote it properly, so this is hand cranked (your text in italics)
/
//What is confusing is the 3 parameters. e.g. In this partial proof,
there is only one premise, but you mention 2?
/I'm afraid I'm confused by
Roger, Thank for once again trying to clarify Existential Elimination.
Sorry for being to thick-headed, but I still don't get it. What is
confusing is the 3 parameters. e.g. In this partial proof, there is only
one premise, but you mention 2?
>
> Message: 2
> Date: Tue, 31 Mar 2020 21:35:59 +010