De probabilistische implicatie in SPLAT bleek super schoon te zijn!! Complimenten voor de eenvoud van de formalismen in 1.4 in het paper Screenshot toont de kettingregel. Ik vind het leuk hoe je de berekeningen kunt volgen, zelfs zonder kennis van Lean.