Αποστολή με SMS: A Model-Theoretic Approach to Proof Theory