get out earlier if negation error