This is not distributive, because: a*(b+c) has two probability multiplications while (a*b + a*b) has three Some kind of general formula solver could possibly make this distributive, but in the mean time, it's only a group
Is this value contained within the bounds? Contract is: Prob(boundsContain(estimate)) >= probWithinBounds
This is so you can do: val x = Approximate(1.0, 1.1, 1.2, 0.99) and then x ~ 1.05 returns true