--- a/ChengsongTanPhdThesis/Chapters/Cubic.tex	Tue Oct 11 13:09:47 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Cubic.tex	Wed Oct 12 14:01:33 2022 +0100
@@ -568,6 +568,8 @@
 					  &&&& & $)$ & & & &\\
 	\end{tabular}
 \end{center}
+The $\textit{optermsimp}$ function with the argument $r$ 
+chooses from two options: $\ZERO$ or 
 We define for the $r^{\{n\}}$ constructor something similar to $\starupdate$
 and $\starupdates$:
 \begin{center}