Let $A$ be an adversary which distinguishes~$F$ from a pseudorandom
function in time~$t$, after making $q$ oracle queries. We consider a
- sequence of games $\G{i}$ played with the adversary. In each, let $S_i$ be
- the event that the adversary returns~$1$ at the end of the game.
+ sequence of games $\G{i}$ played with the adversary. In each game $\G{i}$,
+ let $S_i$ be the event that the adversary returns~$1$ at the end of the
+ game.
Game~$\G0$ is the `random function' game. We given $A$ an oracle
containing a random function $R \inr \Func{L}{L}$.