Text this: Pebble Games and Algebraic Proof Systems