To Prove in Practice