Why TDD makes a lot of sense for Sudoko