Logical test of TDD