correctness chcecking