Anfonwch hwn fel neges destun: Policy Refinement Checking (extended abstract)