Proof and Explanation by John Wisdom