if part

The if part introduces the condition of the rule.