Enviar aquest missatge de text: Reasoning about efficiency within a probabilistic calculus