--- a/ChengsongTanPhdThesis/Chapters/Cubic.tex	Sat Dec 24 11:55:04 2022 +0000
+++ b/ChengsongTanPhdThesis/Chapters/Cubic.tex	Fri Dec 30 01:52:32 2022 +0000
@@ -301,7 +301,8 @@
 
 
 \end{lstlisting}
-\caption{The helper functions of $\textit{prune}$ XXX.}
+\caption{The helper functions of $\textit{prune}$: 
+  $\textit{atMostEmpty}$, $\textit{isOne}$ and $\textit{removeSeqTail}$}
 \end{figure}
 \noindent
 Suppose we feed