So, instead, the general rule is to drop the existential quantifier and replace the associated variable, this, not by a constant but by a term formed from a new function symbol applied to the variables associated with the free variables and universally quantified variables in the target of the existentially quantified sentence. 