To-dos

Karl's to-do list is empty.