To-dos

John's to-do list is empty.