rename not to neq