This is the "blog post version" of a lecture David de la Iglesia Castro and I gave at OxML earlier this month.