A implicação probabilística no SPLAT acabou sendo super limpa!! Parabéns à simplicidade do formalismo na versão 1.4 do artigo A captura de tela mostra a regra da cadeia. Gosto de como você consegue acompanhar a seção de cálculo mesmo sem conhecimento lean.