Negation problems.