formulas are now automatically negated