To-dos

Büchi's to-do list is empty.