Demo.

Proof, not promises. The demo reports honestly when a runtime cannot do something.