Qiaochu_Yuan comments on Open Thread, May 1-14, 2013

[Qiaochu_Yuan]

Agreed. P1 is quantifying over arguments, not over minds.