Seol mar théacs é seo: Reasoning about efficiency within a probabilistic calculus