Үүнийг мессежээр илгээх: Partial correctness for probabilistic demonic programs