chore: add definitions and better paper wording.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 1 insertions, 1 deletions

diff --git a/source/wg05/paper.tex b/source/wg05/paper.tex
index da2fa29..1f49783 100644
--- a/source/wg05/paper.tex
+++ b/source/wg05/paper.tex
@@ -80,7 +80,7 @@ An execution domain is defined as previously stated in Section~2. An execution a
 
 A \emph{trait} is a set of formal rules defining the semantic concepts of an execution context.
 
-Let $A$ be an execution authority of type $T$, where $T$ is a trait of an execution context.
+Let $A$ be an execution authority of type $T$, such that $T$ is a trait of an execution context.
 
 \subsection{Properties}