Envoyer par SMS: Intuitionism and the modal logic of vagueness