Αποστολή με SMS: Vagueness and intuitionistic logic