DONE: TDD For-Stmt