Αποστολή με SMS: Semantics of programming languages and model theory