Proof and explanation by John Wisdom, Stephen Francis Barker | Lex | Lex