* Implement consistency rule C2