Sporadic Propositional Proofs Søren Riis Queen mary, University of London New Directions in Proof Complexity 11 th of April 2006 at the Newton Instutute.