To-dos

Karel's to-do list is empty.