Kleine tekstuele wijzigingen

1 files changed, 5 insertions, 4 deletions

diff --git a/rulesexec.tex b/rulesexec.tex
index bebf0e9..9f4a60a 100644
--- a/rulesexec.tex
+++ b/rulesexec.tex
@@ -8,10 +8,11 @@
 \end{quote}
 
 We halen een string van de stack en gebruiken $\parsepgmop$ om dit in een
-programma om te zetten. Waarbij we $\parsepgmop$ later in de beschrijving zullen definiëren. Dit wordt het nieuwe programma om uitgevoerd te worden.
-Als de $\stk$ leeg is is deze regel niet toepasbaar, omdat $\pop\stk$ dan niet
-gedefinieerd is. Ook is deze regel niet toepasbaar als de gepopte string zelf
-geen geldig Smurf-programma is, omdat $\parsepgmop$ dan niet gedefinieerd is.
+programma om te zetten. Hieronder zullen we $\parsepgmop$ definiëren. Dit wordt
+het nieuwe programma om uitgevoerd te worden.  Als de $\stk$ leeg is is deze
+regel niet toepasbaar, omdat $\pop\stk$ dan niet gedefinieerd is. Ook is deze
+regel niet toepasbaar als de gepopte string zelf geen geldig Smurf-programma
+is, omdat $\parsepgmop$ dan niet gedefinieerd is.
 
 $$
 \begin{prooftree}