What TDD is, why it matters, the Red-Green-Refactor cycle, and a worked TDD kata