Отправить по sms: Commutative semantics for probabilistic programming