Probabilistiska implikationer i SPLAT visade sig vara superrena!! Beröm för formalismens enkelhet i 1.4 i artikeln Skärmdumpen visar kedjeregeln. Jag gillar att man kan följa kalkyldelen även utan Lean-kunskaper.