Re: tests for correctness