Refactor double negation away