Αποστολή με SMS: Finite Model Theory