diff --git a/design/tpl/sec/class.tex b/design/tpl/sec/class.tex
index 32077529..399105d6 100644
--- a/design/tpl/sec/class.tex
+++ b/design/tpl/sec/class.tex
@@ -36,10 +36,10 @@ where
 \begin{align}
     J &\subset\Int \neq\emptyset, \\
     \forall{j\in J}\Big(K_j &\subset\Int \neq\emptyset\Big), \\
-    \forall{k}\Big(M^k &: J \rightarrow K_{j\in J} \rightarrow \Real\Big),
+    \forall{k}\Big(M^k &: J \rightarrow K_{j\in J} \rightarrow \Bool\Big),
                                             \label{eq:class-matrix} \\
-    \forall{k}\Big(v^k &: J \rightarrow \Real\Big), \\
-    \forall{k}\Big(s^k &\in\Real\Big), \\
+    \forall{k}\Big(v^k &: J \rightarrow \Bool\Big), \\
+    \forall{k}\Big(s^k &\in\Bool\Big), \\
     \alpha &\in\Set{\epsilon,\, \texttt{any="true"}}, \label{eq:xml-any-domain}
 \end{align}