Tekstiviesti: Quantifiers in language and logic