Anfonwch hwn fel neges destun: Reasoning about efficiency within a probabilistic calculus