Negation resolving fix