Using Criterion/Statistics more