note on ordering of discrete-dist-probs and discrete-dist-values