Textmeddelande: Vagueness and intuitionistic logic