Kleine tekstuele wijzigingen

1 files changed, 3 insertions, 1 deletions

diff --git a/rules.tex b/rules.tex
index d756aa3..ce50fa5 100644
--- a/rules.tex
+++ b/rules.tex
@@ -3,7 +3,9 @@
 \label{sec:rules}
 
 We zullen nu ieder syntaxelement nader specificeren. Ook zullen regels voor de
-natuurlijke semantiek van Smurf worden geïntroduceerd. Bij elk van deze regels geldt dat als er een pop gebeurd in die regel de stack niet leeg mag zijn voor het uitvoeren van de regel.
+natuurlijke semantiek van Smurf worden geïntroduceerd. Bij elk van deze regels
+geldt dat als elementen van de stack worden gebruikt in die regel, de stack
+niet leeg mag zijn voor het uitvoeren van de regel. %todo waarom deze keuze?
 
 De documentatie \cite{safalra} beschrijft niet wat er gebeurt wanneer er niet
 genoeg argumenten op de stack staan om een bepaalde instructie uit te voeren.