x \neq y \neq z