If an existentially quantified sentence does not contain any free variables and does not occur within the scope of the universal quantifier, we simply drop the existential quantifier and replace all occurrences of the quantified variable by new object constant. 