try to fix negation