Martin Geddes - How to reason about absolutely anything