When are two proofs essentially the same? (2007) 56 points by ColinWright 12 hours ago 80 comments story