Invia SMS: Probability and nondeterminism in compositional game theory