Better Negation handling on problems.