Todennäköisyyspohjainen implikaatio SPLATissa osoittautui todella siistiksi!! Kiitokset formalismin yksinkertaisuudesta kohdassa 1.4 artikkelissa Kuvakaappaus näyttää ketjusäännön. Pidän siitä, että voit seurata laskennan osiota ilman Lean-osaamista.