Implement rule C3