With Existential Instantiation, the first line after the subproof ends should be:
A) Identical to the last line of the subproof.
B) The negation of the initial assumption.
C) The last line of the subproof, but with an existential quantifier in the front, and an appropriate variable in place of the name.
D) A Falsum