runs, next check correctness