Add todo to proof example

Example modified in most recent commits had errors before, but now it
doesn't serve the purpose it had before, and so I will investigate and
either rework or remove this example.