The second step should use the rule: