2012 When Prophecy Meets Proof