From 11f14a4763533dbc24b0e98d115071036025d4f6 Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Mon, 22 Jun 2026 00:43:45 +0200
Subject: refinement

---
 chapters/core/implementation/02-interaction-rules.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'chapters/core/implementation/02-interaction-rules.tex')

diff --git a/chapters/core/implementation/02-interaction-rules.tex b/chapters/core/implementation/02-interaction-rules.tex
index 49a8a70..8b02c3c 100644
--- a/chapters/core/implementation/02-interaction-rules.tex
+++ b/chapters/core/implementation/02-interaction-rules.tex
@@ -1,7 +1,7 @@
 \subsection{Interaction Rules}
 \label{sec:interaction-rules}
 
-The agents, illustrated in \textbf{\Cref{fig:agents}}, can be categorized into four groups:
+The agents, illustrated in \textbf{\Cref{fig:agents}}, can be categorized into five groups:
 \begin{itemize}
 	\item
 		\textbf{Carriers}: Agents that contain float attributes.
@@ -179,7 +179,7 @@ The agents, illustrated in \textbf{\Cref{fig:agents}}, can be categorized into f
 			(m) $\mathit{TermAdd}$ & (n) $\mathit{TermMul}$ & (o) $\mathit{TermReLU}$ & (p) $\mathit{TermSymbolic}$ & (q) $\mathit{TermConcrete}$ \\[0.5cm]
 		\end{tabular}
 	}
-	\caption{Agents used in VEIN.}
+	\caption{Agents used in \textbf{VEIN}.}
 	\label{fig:agents}
 \end{figure}
 
@@ -495,7 +495,7 @@ If, instead, the first operand is a \textit{Linear} agents and the second is a \
 are applied. In the case of addition (\textbf{\Cref{fig:rule-concrete-addchecklinear}}) the system adds the
 attribute of the \textit{Concrete} agent to the attribute that represents the constant of the \textit{Linear} agent.
 For multiplication (\textbf{\Cref{fig:rule-concrete-mulchecklinear}}) the system multiplies the attribute of
-the \textit{Concrete} agent to both the attributes of the \textit{Linear}
+the \textit{Concrete} agent to both the attributes of the \textit{Linear}.
 
 % Concrete >< AddCheckLinear
 \begin{figure}[H]
-- 
cgit v1.2.3

