After seminar: updated TODO.