This is the 13-minute version of the 17-minute talk: It's as much as I could compress it, and at the end I was talking so fast I was stammering! So if you have the extra 4 minutes, the 17-minute talk is less breathless.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…