(\forall x)(\forall y)(\forall z)(x\approx y\,\lor\,x\approx z\,\lor\,y\approx z)