この資料をSMS送信: Intuitionism and the modal logic of vagueness