Proposal: make two `getProbability` methods. One, `getProbLE`, returns the probability of r_ui <= r; the other, `getProbEQ`, returns the probability of r_ui = r. That will make this formula shorter and easier to read, I believe.