Basic correctness test.