This time we note that the existential quantified sentence contains a free variable, and so we replace the existentially quantified variable, not with a constant, but with a term consisting of a Skolem function, in this case h and the free variable y. 