toDo new semantics