More accurate description for the no-negated-in-lhs rule