[pl] new rule and a generalisation