Miscellaneous rewordings and fixings.
[doc/ips] / basics.tex
index 9c7401f..3874d3c 100644 (file)
@@ -780,8 +780,9 @@ But if your cryptography is no good, you may never know.
   
   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}$.