Describir: Vagueness and intuitionistic logic