Implementation of consistency rule C9