5 files changed, 32 insertions, 15 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/wg01.tex
index ae5d8a5..931e80b 100644
--- a/source/wg01/wg01.tex
+++ b/source/wg01/wg01.tex
@@ -47,7 +47,7 @@
 \bf \maketitle
 
 \begin{center}
-\rule[1cm]{17cm}{0.01cm}
+	\rule[0.01cm]{17cm}{0.01cm}
 \end{center}
 
 \abstract{Many low-level software have been shipped using the C programming language.
diff --git a/source/wg02/wg02.tex b/source/wg02/wg02.tex
index 9055ce3..4f49ab5 100644
--- a/source/wg02/wg02.tex
+++ b/source/wg02/wg02.tex
@@ -45,7 +45,7 @@
 \bf \maketitle
 
 \begin{center}
-\rule[1cm]{17cm}{0.01cm}
+	\rule[0.01cm]{17cm}{0.01cm}
 \end{center}
 
 \abstract
diff --git a/source/wg03/wg03.tex b/source/wg03/wg03.tex
index 830b20e..681b14c 100644
--- a/source/wg03/wg03.tex
+++ b/source/wg03/wg03.tex
@@ -45,7 +45,7 @@
 \bf \maketitle
 
 \begin{center}
-	\rule[1cm]{17cm}{0.01cm}
+	\rule[0.01cm]{17cm}{0.01cm}
 \end{center}
 
 \abstract
@@ -58,7 +58,7 @@
 	\rule[1cm]{17cm}{0.01cm}
 \end{center}
 
-\section{A Simple Nectar Program.}
+\section{Sample: 'Hello World'.}
 
 \begin{lstlisting}
 extern printf;
@@ -70,8 +70,10 @@ const main()
 }
 \end{lstlisting}
 
+\section{References}
+
 \begin{enumerate}
-    \item NeKernel.org (2025), \href{https://nekernel.org/nekernel}{nekernel.org}
+    \item NeKernel.org (2026), \href{https://nekernel.org/nekernel}{https://nekernel.org}
     \item El Mahrouss, A. (2026). The Execution Semantics: On Axioms, Domains, and Authority. (v1.0.0). Zenodo. https://doi.org/10.5281/zenodo.18362375
 \end{enumerate}
 
diff --git a/source/wg05/tn/tn001.05.tex b/source/wg05/tn/tn001.05.tex
index 41b5830..84be024 100644
--- a/source/wg05/tn/tn001.05.tex
+++ b/source/wg05/tn/tn001.05.tex
@@ -19,7 +19,7 @@
 \bf \maketitle
 
 \begin{center}
-	\rule[1cm]{17cm}{0.01cm}
+	\rule[0.01cm]{17cm}{0.01cm}
 \end{center}
 
 \begin{center}
@@ -34,24 +34,39 @@ This paper covers the algebraic properties and concepts of `The Execution Semant
 
 \section{The Execution Product}
 
-Let $F(x, y, z)$ be an Execution Product of variable arguments $x$, $y$, $z$ defined in compatible and composable execution context $E$: \\
-Let the index $\alpha$ denote the current execution domain of an execution product.\\ 
-$F(x, y, z) = \prod_{\alpha=1}^{n}(x_{\alpha} \times y_{\alpha} \times z_{\alpha})+C$. Where $C$ is the Unknown Execution of $F(x, y, z)$—now defined as $g(E)$.
+Let $\Gamma(x, y, z)$ be an Execution Product of variable arguments $x$, $y$, $z$ defined in compatible and composable execution context $E$: \\
+Let the index $\alpha$ denote the current execution domain of an execution product.\\
+The following formula: 
+$\Gamma(x, y, z) = \prod_{\alpha=1}^{n}(x_{\alpha} \times y_{\alpha} \times z_{\alpha})+C$. Is defined as the execution product. Where $C$ is the Unknown Execution of $\Gamma(x, y, z)$—now defined as $g(E)$.
+
+\subsection{Properties}
+
+\begin{enumerate}
 
-\section{The Unknown Execution Property}
+    \item $\Gamma$ as defined previously as the `Execution Product' shall always be valid within the execution context $E$.
 
-Let an `Unknown Execution' $U$ be defined regarding an execution product $F$ \\
-Let `Null' be defined as $\varnothing$.
+    \item The execution context $E$ shall not denote $\varnothing$.
+
+\end{enumerate}
+
+\section{The Unknown Execution}
+
+Let an `Unknown Execution' $U$ be defined regarding an execution product $\Gamma$ \\
+Let $N$ be defined as $\varnothing$.
 
 \subsection{Properties}
 
 \begin{enumerate}
 
-    \item $U$ shall not be equal to Null.
-    \item The execution domain of $F$ shall not be Null.
+    \item $U$ shall not be equal to $N$.
+    \item The execution domain of $\Gamma$ shall not be $N$.
 
 \end{enumerate}
 
+\section{Conclusion}
+
+Such Concepts and Properties are essential for `Execution Theory' formality as per defined in El Mahrouss, A. paper.
+
 \section{References}
 
 \begin{enumerate}
diff --git a/source/wg05/wg05.tex b/source/wg05/wg05.tex
index 1ced656..da2fa29 100644
--- a/source/wg05/wg05.tex
+++ b/source/wg05/wg05.tex
@@ -19,7 +19,7 @@
 \bf \maketitle
 
 \begin{center}
-	\rule[1cm]{17cm}{0.01cm}
+	\rule[0.01cm]{17cm}{0.01cm}
 \end{center}
 
 \begin{abstract}