Αποστολή με SMS: Finite model theory