cf #6