この資料をSMS送信: Reasoning about efficiency within a probabilistic calculus