Negated conds were rebuilt to represent solely a negation of a positive,
not any subcond.