avoid a double-negation