Enviar por SMS: Intuitionism and the modal logic of vagueness