SMS versenden: Vagueness and intuitionistic logic