Αποστολή με SMS: Normalization, cut-elimination, and the theory of proofs /