Since the Skolem term is in the scope of the universal quantifier, it takes the bound variable u as its argument.
the resulting generalized Skolem term refers to different sets of term papers, according to the value of u.