To-dos

Petr's to-do list is empty.