इसका टेक्स्ट मैसेज भेजे: Reasoning about efficiency within a probabilistic calculus