Two Blegs

I’m not sure where to post this, so, using this comment thread as cover, I will hereby bleg for the following:
  • A good OB-level proof or explication of the innards of Aumann’s theorem, much more precise than Hanson and Cowen’s but less painful than Aumann’s original or this other one.

  • Stories of how people have busted open questions or controversies using rationalist tools. (I think this in particular will be useful to learners.)