この資料をSMS送信: The definability of Mary's assumption