correctness experiment