Testing correctness again.