\lnot\forall x\,x=x