“Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds” presented at The 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010).