Αποστολή με SMS: Generalized Quantifiers and Computation