exactly negated assertion