add eq and not