Үүнийг мессежээр илгээх: Reasoning about efficiency within a probabilistic calculus