tester for correctness