fixed double negation