Add example of using choose to generate a proof for so.
From mailing list.