Implementation of rule C4