second and-rule/r2l