To-dos

Guth's to-do list is empty.