(\forall x)\varphi(x,f(x))