Pošljite SMS: Finite model theory /