أرسل هذا في رسالة قصيرة: Reasoning about efficiency within a probabilistic calculus