Αποστολή με SMS: Quantifiers, propositions and identity