[seanmcdirmid]

I believe this was an invited talk at FLOPS, so the standards and expectations of rigor are a bit different.