Գրեք սա: Probability and nondeterminism in compositional game theory