In this podcast Geoff Thompson discusses proof.