Test for correctness