From c39e3180c951ad18cb5eafbd0b206757e75cbdaf Mon Sep 17 00:00:00 2001
From: Yingjie Wang <phywyj@gmail.com>
Date: Fri, 10 Apr 2026 00:23:16 -0400
Subject: [PATCH] update: auto commit

---
 report.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/report.tex b/report.tex
index 66105f8..d594e3f 100644
--- a/report.tex
+++ b/report.tex
@@ -282,7 +282,7 @@
 
       % \node[draw=none, above=1mm of gh, font=\scriptsize] {full first order};
       \end{tikzpicture}
-      \caption{Commenly used systems.\footnote{Blue: second order systems; Red: first order systems. Solid arrows: direct modifications; Dashed arrows: indirect relation. Bidirectional arrows: equivalence.}}
+      \caption{Commonly used systems.\footnote{Blue: second order systems; Red: first order systems. Solid arrows: direct modifications; Dashed arrows: indirect relation. Bidirectional arrows: equivalence.}}
     \end{figure}
     \vspace{-0.5cm}
     \begin{itemize}
@@ -295,7 +295,7 @@
     \end{itemize}
   \end{frame}
 
-  \begin{frame}{Searching for a first order Z4c}{First order Z4c?}
+  \begin{frame}{First order Z4c?}
     \subsection{First order Z4c?}
     \begin{figure}
       \centering
@@ -341,7 +341,7 @@
 
       % \node[draw=none, above=1mm of gh, font=\scriptsize] {full first order};
       \end{tikzpicture}
-      \caption{Commenly used systems, and first order reductions.}
+      \caption{Commonly used systems, and first order reductions.}
     \end{figure}
   \end{frame}