Үүнийг мессежээр илгээх: Policy Refinement Checking (extended abstract)