correctness checks