[ca] new rule PROVABLE