a\neq b