correctness testing added