check correctness