To-dos

Mario's to-do list is empty.