diff --git a/src/fa/lc/tensor.tex b/src/fa/lc/tensor.tex
index af4fa69..ba3bfcb 100644
--- a/src/fa/lc/tensor.tex
+++ b/src/fa/lc/tensor.tex
@@ -47,6 +47,13 @@
     On the other hand, for any convex and circled set $W \in \cn_{E \otimes_\pi F}(0)$, there exists $U \in \cn_E(0)$ and $V \in \cn_F(0)$ such that $U \otimes V \subset W$. In which case, $W \supset \Gamma(U \otimes V)$, so $\fB$ is a fundamental system of neighbourhoods at $0$ for $E \otimes_\pi F$. 
 \end{proof}
 
+\begin{remark}
+\label{remark:projective-construction}
+    In constructing the \hyperref[projective tensor product]{definition:projective-tensor-product}, it may be more natural to obtain its topology as a projective topology using its universal property. However, doing so requires taking a least upper bound across \textit{all continuous linear maps defined on} $E \times F$, a collection too big to be a set. As such, constructing it as a projective topology is logically dubious, or at the very least beyond my abilities. 
+\end{remark}
+
+
+
 \begin{definition}[Cross Seminorm, {{\cite[III.6.3]{SchaeferWolff}}}]
 \label{definition:cross-seminorm}
     Let $E, F$ be locally convex spaces over $K \in \RC$. For any convex circled sets $U \in \cn_E(0)$ and $V \in \cn_F(0)$, let $p: E \to [0, \infty)$ and $q: F \to [0, \infty)$ be their \hyperref[gauges]{definition:gauge}. For any $z \in E \otimes_\pi F$, let