Criterion 3.5.1