Αποστολή με SMS: Semantics of type theory :