Textmeddelande: Quantifiers in language and logic