$\exists x\colon f(x)=0$