Criterion 3.4.7