Use Criterion again.