-This section describes \gls{MTASK}'s task language.
-Tasks can be seen as trees that are the result of evaluating expressions.
-After evaluating an expression, the resulting task is executed.
-\todo[inline]{iets zeggen over values en dat hier ook een handwavy semantiek is.}
-The execution semantics of tasks is explained in more detail in \cref{chp:implementation}.
+This section describes the task language of \gls{MTASK}.
+\Gls{TOP} languages are languages enriched with tasks.
+Tasks represent abstract pieces of work and can be combined using combinators.
+Creating tasks is done by evaluating expressions and this is called a task tree, a run time representation of a task.
+After evaluation, the resulting task tree is \emph{rewritten}, i.e.\ they are continuously given a small slice of execution time after which a task value is yielded.
+This task value is observable by other tasks and can be acted upon.
+\todo{dui\-de\-lijk ge\-noeg?}
+
+The implementation in the \gls{MTASK} \gls{RTS} for task execution is shown in \cref{chp:implementation}.
+The following sections show the definition of the functions for creating tasks.
+They also show the semantics of tasks, their observable value in relation to the work that the task represents.