Write the spec of the TodoList