SMS versenden: Quantifiers in language and logic