Show and Prove