
diff -r a25da86f7c8c -r ffe02fd574a5 handouts/ho04.tex
--- a/handouts/ho04.tex	Mon Aug 29 01:16:32 2022 +0200
+++ b/handouts/ho04.tex	Mon Aug 29 08:26:59 2022 +0200
@@ -422,7 +422,7 @@
 \end{center}  
 
 \noindent It is a value of the right shape, namely $Stars$. It injected 
-$c$ into the first-value, which is in fact the value where we need to 
+$c$ into the first-value, which is in fact the value where we need in order to 
 undo the derivative. Remember again the shape of the derivative of $r^*$.
 In place where we chopped off the $c$, we now need to do the $\inj$ of $c$.
 Therefore $\inj\,r\,c\,v$ in the definition above. That is the same with
@@ -747,7 +747,7 @@
 $r$ with respect to $c$; simplify the resulting regular
 expression. We continue lexing with the simplified regular
 expression and the string $s$. Whatever will be returned as
-value, we sill need to rectify using the $f_{rect}$ from the
+value, we still need to rectify using the $f_{rect}$ from the
 simplification and finally inject $c$ back into the
 (rectified) value.
 




