$\forall x\colon x-x=0$