Text this: A Finite-Model-Theoretic View on Propositional Proof Complexity