Feature: Getting to QED, Part 4: Making Analogies Precise http://arstechnica.com/business/problem-solving/2010/11/getting-to-qed-4.ars November 23, 2010