發送短信: Vagueness and intuitionistic logic