Αποστολή με SMS: Intuitionism and the modal logic of vagueness