[mrkeen]

> A proof of a basic todo list or something like that.

Just using a verb here would be a first step toward rigorous thinking. A proof that a todo list does what?

[antonvs]

I have a proof that shows that most of what you put on your todo list, you won't do. Please let me know where I should collect my Nobel Prize.

[taybin]

To-does. Just like how a butler buttles.

[antonvs]

Excuuuuuse me, I believe that should be to-dos.