1 files changed, 1 insertions, 1 deletions

diff --git a/analyse.tex b/analyse.tex
index 4ed43f7..fbcf4e5 100644
--- a/analyse.tex
+++ b/analyse.tex
@@ -5,7 +5,7 @@
 Omdat de transities van onze natuurlijke semantiek input meenemen, kunnen we
 alleen een afleidingsboom maken voor een programma \emph{met} een bepaalde
 input. Het is dus niet triviaal mogelijk een afleidingsboom te maken voor
-willekeurige input. In deze sectie willen we laten zien hoe het toch mogelijk
+willekeurige input. In dit hoofdstuk willen we laten zien hoe het toch mogelijk
 is een bewijs te leveren over een programma met een willekeurige input string,
 door gebruik te maken van inductie naar de lengte van de input string. We
 hadden hiervoor initieel een programma op de Esolang wiki gevonden dat een