The Proof is in the Demo