أرسل هذا في رسالة قصيرة: Policy Refinement Checking (extended abstract)