x\neq z