SMS versenden: Probability and nondeterminism in compositional game theory