この資料をSMS送信: Proof, logic, and formalization