diff --git a/report.tex b/report.tex
index d4814b8..38d919d 100644
--- a/report.tex
+++ b/report.tex
@@ -902,4 +902,8 @@ $}
     \end{figure}
   \end{frame}
 
+  \begin{frame}{Appendix}{Why can't we fully automate the workflow using Mathematica?}
+    There are coefficients before each constraint term we add, and it's very common that they have to meet some conditions to recover the hyperbolicity, for example, in GH they require that $\gamma_3 = \gamma_1 \gamma_2$, and in FOBSSN they require that $\kappa^\phi = 0$. And many coefficients cannot be parameters at all, they may have to be something like the lapse function $\lapse$.
+  \end{frame}
+
 \end{document}
\ No newline at end of file