updated probabilities doc section
improved mixing algorithm, correlation algorithm, and boolean operators