Fixed negation-elimination rule.