The Wizard of Oz

"What would you do with a proof of correctness if you had one?"