See, the whole 'test to correctness' thing troubles me. Code to test code. But it has bugs. So, what? Tests for the tests.