try to fix negation 3