fix some negation problems