Reconciling Nondeterministic and Probabilistic Choices door L. Cheung