Also need to echo the above.

The TDD book itself is barely even about testing, it's almost entirely about development processes and different types of refactoring and how to use tests to get from a to b.

Correctness is rarely emphasized if at all.