Zaslat SMS: Probability and nondeterminism in compositional game theory