Neg renamed to NegCond.