added toDo file
excluded debug preconditions