diff --git a/explanation/explanation.pdf b/explanation/explanation.pdf
index 2299430..e8c1ede 100644
Binary files a/explanation/explanation.pdf and b/explanation/explanation.pdf differ
diff --git a/explanation/explanation.tex b/explanation/explanation.tex
index b21e8de..959ce5c 100644
--- a/explanation/explanation.tex
+++ b/explanation/explanation.tex
@@ -34,7 +34,7 @@ \section{Proof}
     &= (d\oplus z)^{-1}(z+rd)\\
     &= (d + z - 2(d\wedge z))^{-1}(z+rd)\\
     \iff ds + zs - 2s(d\wedge z)&= z + rd\\
-    \iff (s-1)z &= 2s(d\wedge z) (s-r)d\\
+    \iff (s-1)z &= 2s(d\wedge z)+(r-s)d\\
                 &= \sum_i 2^i d_i z_i 2s + \sum_i 2^i d_i (r-s) \\
                 &= \sum_i d_i 2^i (r + (2z_i - 1)s) \\
 \end{align*}