[pl] new rule and one generalization