try to fix negation 4