Anfonwch hwn fel neges destun: Vagueness and intuitionistic logic