Minor edits

src/mpc.typ

@@ -164,7 +164,7 @@ We'll need to make two changes to the protocol.
 
   Of course, the solution is to use a hash function!
   So here is the new version of our garbled gate.
-  For simplicity, I'll assume it's an AND gate --
+  For simplicity, we'll assume it's an AND gate --
   so the outputs will be (the passwords encoding) 0, 0, 0, 1.
   #table(
     columns: 2,

src/pair.typ

@@ -32,7 +32,7 @@ if this pairing can be computed reasonably quickly
 
 This construction actually uses some really deep number theory
 (heavier than all the math in @ec)
-that is well beyond the scope of these lecture notes.
+that is well beyond the scope of this modest book.
 Fortunately, we won't need the details of how it works;
 but we'll comment briefly in @pairing-friendly on what curves it can be done on.
 And this pairing algorithm needs to be worked out just once for the curve $E$;