Fix task 6

1 files changed, 1 insertions, 1 deletions

diff --git a/task6.tex b/task6.tex
index ef3a95d..58888d2 100644
--- a/task6.tex
+++ b/task6.tex
@@ -91,7 +91,7 @@ In het geval van structureel operationele semantiek hebben we afleidingsrijen va
   \transl{\scomp{\sass{x}{-1}}\orwhile}s \dimpl^* & \transl{\orwhile}s \\
                                          \dimpl\enspace & \dots\\
 \end{align*}
-Volgens mij zijn de twee semantieken voor dit statement dus \emph{niet} gelijk, want natuurlijke semantiek garandeert dat het statement op elke toestand termineert, terwijl structureel operationele semantiek dit niet doet.
+Volgens mij zijn de twee semantieken voor dit statement dus \emph{niet} equivalent, want natuurlijke semantiek garandeert dat het statement op elke toestand termineert, terwijl structureel operationele semantiek dit niet doet.
 
 \end{document}