To-dos

Rui's to-do list is empty.