Typo in arith nat deduction

Author: greleigh

content/incompleteness/arithmetization-syntax/proofs-in-nd.tex

@@ -166,7 +166,7 @@
   \end{prooftree}
   Then the G\"odel number~$d$ of~$\delta$ is $\tuple{2, d_1, d_2,
     \Gn{(!A \land !B)}, 0, k}$ where $\fn{EndFmla}(d_1) = \Gn{!A}$,
-  $\fn{EndFmla}(d_2) = \Gn{B}$, $n=0$, and $k=1$. So we can define
+  $\fn{EndFmla}(d_2) = \Gn{!B}$, $n=0$, and $k=1$. So we can define
   $\fn{FollowsBy}_{\Intro\land}(d)$ as
   \begin{multline*}
     (d)_0 = 2 \land \fn{DischargeLabel}(d) = 0 \land \fn{LastRule}(d) = 1 \land {}\\