Criterion 7.1.11