xyzw\neq 0