Test correctness work in progress