Enviar por SMS: Probability and nondeterminism in compositional game theory