Implementation of rule C7