Αποστολή με SMS: Commutative semantics for probabilistic programming