To-dos

Oded's to-do list is empty.