(This post overlaps a prior one here. The paper I am blogging about was also blogged about by Lipton here. The paper itself is on arxiv here. My slides for a talk I will be giving on this material are here)' Todays post is on how the paper came about. A later post will be about why someone else didn't do it earlier. How this paper came about: Many years ago Bill noticed that wh