Үүнийг мессежээр илгээх: Refinement checking for privacy policies