Anfonwch hwn fel neges destun: Partial correctness for probabilistic demonic programs