Enviar por SMS: Vagueness and intuitionistic logic