この資料をSMS送信: Policy Refinement Checking (extended abstract)