Αποστολή με SMS: Elements of finite model theory/