To-dos

Gromov's to-do list is empty.