4-todo-spec