Pošljite SMS: Vagueness and intuitionistic logic