if not's replaced by existential operator.