Negation not needed anymore.