diff --git a/src/op/ii1/trace.tex b/src/op/ii1/trace.tex
index 143e7a3..26b22b3 100644
--- a/src/op/ii1/trace.tex
+++ b/src/op/ii1/trace.tex
@@ -39,13 +39,13 @@
     
     On the other hand, by the \hyperref[Arzelà-Ascoli Theorem]{theorem:arzela-ascoli}, the uniform structure of pointwise convergence on $\ol{B_M(0, 1)}$ coincides with the uniform structure of pointwise convergence on any dense subset of $L^2(M, \tau)$. In particular, this includes $M \subset L^2(M, \tau)$. For each $x, y \in \ol{B_M(0, 1)}$ and $t \in M$, since $\tau$ is tracial, 
     \begin{align*}
-        \norm{(x - y)t}_{L^2(M, \tau)}^2 &= \tau(t^*(x - y)^*(x - y)t) \le \tau(t^*t(x - y)^*(x - y)) \\
+        \norm{(x - y)t}_{L^2(M, \tau)}^2 &= \tau(t^*(x - y)^*(x - y)t) \le \tau(tt^*(x - y)^*(x - y)) \\
         &\le \norm{t}_M^2 \tau((x - y)^*(x - y)) = \norm{t}_M^2 \norm{x - y}_{L^2(M, \tau)}^2
     \end{align*}
 
     so the uniformity induced by the $L^2(M, \tau)$ norm is stronger than the uniform structure of pointwise convergence.
     
-    (2): Using (1), it is sufficient to show that $\ol{B_M(0, 1)} \subset B(L^2(M, \tau))$ is complete if and only if it is strong-operator closed. By \autoref{proposition:complete-closed}, $\ol{B_M(0, 1)}$ is complete if and only if it is closed in $L^2(M, \tau)^{L^2(M, \tau)}$ with respect to the product topology. Finally, the \hyperref[Arzelà-Ascoli Theorem]{theorem:arzela-ascoli} implies that $\ol{B_M(0, 1)}$ is closed in $H^H$ if and only if it is strong-operator closed in $B(L^2(M, \tau))$. 
+    (2): Using (1), it is sufficient to show that $\ol{B_M(0, 1)} \subset B(L^2(M, \tau))$ is complete if and only if it is strong-operator closed. By \autoref{proposition:complete-closed}, $\ol{B_M(0, 1)}$ is complete if and only if it is closed in $L^2(M, \tau)^{L^2(M, \tau)}$ with respect to the product topology. Finally, the \hyperref[Arzelà-Ascoli Theorem]{theorem:arzela-ascoli} implies that $\ol{B_M(0, 1)}$ is closed in $L^2(M, \tau)^{L^2(M, \tau)}$ if and only if it is strong-operator closed in $B(L^2(M, \tau))$. 
 \end{proof}
 
 \begin{proposition}
@@ -95,7 +95,7 @@
 
 \begin{lemma}
 \label{lemma:diffuse-factor-split}
-    Let $M$ be a diffuse factor, $p \in \text{Proj}(M)$ be a non-zero projection, then there exists $p_1, p_2 \in \text{Proj}(M)$ with $p_1 \sim p_2$ and $p_1 + p_2 = p$. 
+    Let $M$ be a diffuse factor, $p \in \text{Proj}(M)$ be a non-zero projection, then there exist $p_1, p_2 \in \text{Proj}(M)$ with $p_1 \sim p_2$ and $p_1 + p_2 = p$. 
 \end{lemma}
 \begin{proof}[Proof, {{\cite[Lemma 4.1.1]{AnantharamanPopa}}}. ]
     Let
@@ -105,7 +105,7 @@
 
     and $\mathcal{M} \subset \mathcal{F}$ be a maximal family such that $\bracsn{q, r|(q,r) \in \mathcal{M}}$ are all mutually orthogonal. Let $q = \sum_{(q, r) \in \mathcal{M}}q$ and $r = \sum_{(q, r) \in \mathcal{M}}r$, then by \autoref{lemma:mvn-equivalent-direct-sum}, $q \sim r$, $q \perp r$, and $q + r \le p$. 
 
-    If $q + r \ne p$, then by \autoref{lemma:diffuse-factor-subsplit} applied to $p - (q + r)$, there exists non-zero projections $q', r' \in \text{Proj}(M)$ with $q' \sim r'$, $q' \perp r'$, and $q' + r' \le  p - (q + r)$, which contradicts the maximality of $\mathcal{M}$. 
+    If $q + r \ne p$, then by \autoref{lemma:diffuse-factor-subsplit} applied to $p - (q + r)$, there exist non-zero projections $q', r' \in \text{Proj}(M)$ with $q' \sim r'$, $q' \perp r'$, and $q' + r' \le  p - (q + r)$, which contradicts the maximality of $\mathcal{M}$. 
 \end{proof}
 
 \begin{corollary}
diff --git a/src/op/vn/weak.tex b/src/op/vn/weak.tex
index 1fd91ee..984bba6 100644
--- a/src/op/vn/weak.tex
+++ b/src/op/vn/weak.tex
@@ -3,10 +3,10 @@
 
 \begin{lemma}[Jordan Decomposition]
 \label{lemma:weak-operator-jordan}
-    Let $H$ be a complex Hilbert space, $M \subset B(H)$ be a von Neumann algebra, and $\omega: M \to \complex$ be a weak-operator continuous linear functional, then there exists positive weak-operator continuous functionals $\bracsn{\omega_k}_0^3$ such that $\omega = \sum_{k = 0}^3 i^k \omega_k$. 
+    Let $H$ be a complex Hilbert space, $M \subset B(H)$ be a von Neumann algebra, and $\omega: M \to \complex$ be a weak-operator continuous linear functional, then there exist positive weak-operator continuous functionals $\bracsn{\omega_k}_0^3$ such that $\omega = \sum_{k = 0}^3 i^k \omega_k$. 
 \end{lemma}
 \begin{proof}
-    Assume without loss of generality that there exists $\xi, \eta \in H$ such that $\dpn{x, \omega}{M} = \dpn{x\xi, \eta}{H}$ for all $x \in M$. In which case, by \hyperref[polarisation]{proposition:polarisation-complex}, 
+    Assume without loss of generality that there exist $\xi, \eta \in H$ such that $\dpn{x, \omega}{M} = \dpn{x\xi, \eta}{H}$ for all $x \in M$. In which case, by \hyperref[polarisation]{proposition:polarisation-complex}, 
     \[
     \dpn{x, \omega}{M} = \dpn{x\xi, \eta}{H} = \frac{1}{4}\sum_{k = 0}^3 i^k \dpn{x(\xi + i^k\eta), \xi + i^k\eta}{H}
     \]
@@ -17,7 +17,7 @@
 
 \begin{lemma}[Radon-Nikodym]
 \label{lemma:vna-radon-nikodym}
-    Let $H$ be a complex Hilbert space, $M \subset B(H)$ be a von Neumann algebra, $\omega: M \to \complex$ be a positive linear functional, and $\xi \in H$ such that $\omega(x) \le \dpn{x\xi, \xi}{H}$ for all $x \in M_+$, then there exists $x' \in M_+'$ such that $\omega(x) = \dpn{x(x'\xi), x'\xi}{H}$ for all $x \in M$. 
+    Let $H$ be a complex Hilbert space, $M \subset B(H)$ be a von Neumann algebra, $\omega: M \to \complex$ be a positive linear functional, and $\xi \in H$ such that $\omega(x) \le \dpn{x\xi, \xi}{H}$ for all $x \in M_+$, then there exists $x' \in M'_+$ such that $\omega(x) = \dpn{x(x'\xi), x'\xi}{H}$ for all $x \in M$. 
 \end{lemma}
 \begin{proof}
     By the \hyperref[Cauchy-Schwarz inequality]{proposition:cauchy-schwarz}, for each $x, y \in M$, 
@@ -39,7 +39,7 @@
 
 \begin{lemma}
 \label{lemma:completely-additive-projection-choose}
-    Let $H$ be a complex Hilbert space, $M \subset B(H)$ be a von Neumann algebra, and $\varphi: M \to \complex$ be a positive linear functional. If for any mutually orthogonal projections $\mathcal{P} \subset M$, $\varphi\paren{\sum_{p \in \mathcal{P}}p} = \sum_{p \in \mathcal{P}}\varphi(p)$, then there exists a non-zero projection $p \in M$ and $\xi \in pH$ such that $\varphi(x) = \dpn{x\xi, \xi}{H}$ for all $x \in pMp$. 
+    Let $H$ be a complex Hilbert space, $M \subset B(H)$ be a von Neumann algebra, and $\varphi: M \to \complex$ be a positive linear functional. If for any mutually orthogonal projections $\mathcal{P} \subset M$, $\varphi\paren{\sum_{p \in \mathcal{P}}p} = \sum_{p \in \mathcal{P}}\varphi(p)$, then there exist a non-zero projection $p \in M$ and $\xi \in pH$ such that $\varphi(x) = \dpn{x\xi, \xi}{H}$ for all $x \in pMp$. 
 \end{lemma}
 \begin{proof}[Proof, {{\cite[Lemma 2.5.6.]{AnantharamanPopa}}}. ]
     Let $\eta \in H$ with $\varphi(1_M) < \dpn{\eta, \eta}{H}$. Let $\mathcal{P} \subset M$ be a maximal family of mutually orthogonal projections with $\varphi(p) \ge \dpn{p\eta, \eta}{H}$ for all $p \in \mathcal{P}$. By assumption, 
@@ -51,7 +51,7 @@
 
     Let $p := 1_M - \sum_{q \in \mathcal{P}}q > 0$, then by maximality of $\mathcal{P}$, $\varphi(q) < \dpn{q\eta, \eta}{H}$ for all subprojections $q \le p$. 
     
-    Let $x \in (pMp)_+$ with $0 \le x \le 1$. By \autoref{theorem:vn-projection-norm-dense}, there exists projections $\seq{q_n} \subset pMp$ such that $x = \sum_{n = 1}^\infty \frac{q_n}{2^n}$. In which case\footnote{Here, only continuity of $\varphi$ is used.}, 
+    Let $x \in (pMp)_+$ with $0 \le x \le 1$. By \autoref{theorem:vn-projection-norm-dense}, there exist projections $\seq{q_n} \subset pMp$ such that $x = \sum_{n = 1}^\infty \frac{q_n}{2^n}$. In which case\footnote{Here, only continuity of $\varphi$ is used.}, 
     \[
     \dpn{x\eta, \eta}{H} = \sum_{n = 1}^\infty 2^{-n}\dpn{q_n\eta, \eta}{H} \ge \sum_{n = 1}^\infty \frac{\varphi(q_n)}{2^n} = \varphi(x)
     \]
@@ -123,7 +123,7 @@
     If the above holds, then $\phi$ is \textbf{normal}.
 \end{definition}
 \begin{proof}[Proof, {{\cite[Proposition 2.5.8]{AnantharamanPopa}}}. ]
-    (2) $\Rightarrow$ (3): Let $\omega \in N^*$ be a weak-operator continuous functional. By \autoref{lemma:weak-operator-jordan}, there exists positive weak-operator continuous functionals $\bracsn{\omega_k}_0^3$ such that $\omega = \sum_{k = 0}^3 i^k \omega_k$. By assumption, $\omega_k \circ \phi$ is weak-operator continuous on bounded subsets of $M$. In which case, $\omega \circ \phi = \sum_{k = 0}^3 i^k \omega_k \circ \phi$ is weak-operator continuous on bounded subsets of $M$. Therefore $\phi$ is weak-operator continuous on bounded subsets of $M$.
+    (2) $\Rightarrow$ (3): Let $\omega \in N^*$ be a weak-operator continuous functional. By \autoref{lemma:weak-operator-jordan}, there exist positive weak-operator continuous functionals $\bracsn{\omega_k}_0^3$ such that $\omega = \sum_{k = 0}^3 i^k \omega_k$. By assumption, $\omega_k \circ \phi$ is weak-operator continuous on bounded subsets of $M$. In which case, $\omega \circ \phi = \sum_{k = 0}^3 i^k \omega_k \circ \phi$ is weak-operator continuous on bounded subsets of $M$. Therefore $\phi$ is weak-operator continuous on bounded subsets of $M$.
 
     (3) $\Rightarrow$ (1), (4) $\Rightarrow$ (1): By (1) of \autoref{theorem:existence-of-projections-vna}.