No. 15: Thoughts on proof.