Tax man problem TDD-style