Criterion 7.1.1