diff --git a/.vscode/settings.json b/.vscode/settings.json
index 1546a19..469687c 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -3,6 +3,10 @@
         {
             "label": "Watch",
             "task": "Watch"
+        },
+        {
+            "label": "Conservative Watch",
+            "task": "Conservative"
         }
     ],
     "latex.linting.enabled": false,
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
index 5736d5f..3e378ec 100644
--- a/.vscode/tasks.json
+++ b/.vscode/tasks.json
@@ -39,6 +39,19 @@
               }
             }
           }
+        },
+        {
+          "label": "Conservative",
+          "type": "shell",
+          "command": "npx spec watch --conservative",
+          "windows": {
+            "options": {
+              "shell": {
+                "executable": "cmd.exe",
+                "args": ["/d", "/c"]
+              }
+            }
+          }
         }
     ]
   }
\ No newline at end of file
diff --git a/src/topology/functions/set-systems.tex b/src/topology/functions/set-systems.tex
index 71b5a90..4993866 100644
--- a/src/topology/functions/set-systems.tex
+++ b/src/topology/functions/set-systems.tex
@@ -38,7 +38,7 @@
         \item If $\mathfrak{E}(\sigma, \fU)$ forms a fundamental system of entourages for $\fV$.
     \end{enumerate}
 
-    The uniformity $\fV$ is the \textbf{$\sigma$-uniformity}, and the topology induced by $\fV$ is the \textbf{topology of uniform convergence on the sets $\sigma$}/\textbf{$\sigma$-uniform topology} on $X^T$.
+    The uniformity $\fV$ is the \textbf{$\sigma$-uniformity}, and the topology induced by $\fV$ is the \textbf{topology of uniform convergence $\sigma$}, or the \textbf{$\sigma$-uniform topology} on $X^T$.
 \end{definition}
 \begin{proof}
     (1): Since $\Delta \subset E(S, U)$ for all $S \in \sigma$ and $U \in \fU$, $\mathfrak{E}(\sigma, \fU)$ generates a uniformity on $X^T$.