A Brief Tour of Proof Complexity: Lower Bounds and Open Problems - Toniann Pitassi