expression

The new formal logical expression for the rule, replacing the previous expression.