Tekstiviesti: Vagueness and intuitionistic logic