Example for rule C13