HW4: BDD, TDD Cycle