∀x.∃y.p(x,y)と
∀x.p(x,f(x))では違うからちゃんと後者で書いて