diff --git a/src/vna/ii1/trace.tex b/src/vna/ii1/trace.tex
index 26b22b3..bf30444 100644
--- a/src/vna/ii1/trace.tex
+++ b/src/vna/ii1/trace.tex
@@ -15,11 +15,6 @@
     Let $M$ be a von Neumann algebra and $\tau: M \to \complex$ be a faithful tracial state, then $(M, \tau)$ is a \textbf{tracial von Neumann algebra} if $\tau$ is normal. 
 \end{definition}
 
-\begin{definition}[Standard Representation]
-\label{definition:tracial-vna-standard}
-    Let $(M, \tau)$ be a tracial von Neumann algebra, then its \hyperref[GNS]{definition:gns-triple} representation on $L^2(M, \tau)$ is the \textbf{standard representation} of $(M, \tau)$.  
-\end{definition}
-
 \begin{proposition}
 \label{proposition:cstar-trace-vna}
     Let $M$ be a unital $C^*$-algebra, $\tau: M \to \complex$ be a faithful tracial state, and $(L^2(M, \tau), \pi, 1_M)$ be its \hyperref[GNS]{definition:gns-triple} triple, then: