Reconciling Nondeterministic and Probabilistic Choices by L. Cheung