Existential Instantiation

Also known as
Some authors call this the Rule of Existential Elimination and it is then abbreviated $\text {EE}$.