[ca] new rule: provablement