this is not correct. we know Prob(serf.isTrue) >= withProb, but it may even be 1, so there is no upper bound.