Short proofs are hard to find (joint work w/ Toni Pitassi and Hao Wei) - Ian Mertz