SMS dit: Vagueness and intuitionistic logic