diff --git a/report.tex b/report.tex
index ab3f5b7..be9f4c6 100644
--- a/report.tex
+++ b/report.tex
@@ -332,8 +332,15 @@
   \end{frame}
 
   \begin{frame}{Towards first order Z4c}{constraints during the reduction}
-    We have to check if the constraint damping term will change the hyperbolicity of the system. The new principal symbol matrix is
-    
+    We have to check if the constraint damping term will change the hyperbolicity of the system. The new system has
+    \begin{equation}
+      \tensor{A}{^i^I_J} = \begin{pmatrix}
+        0 & 0 & 0 \\
+        0 & 0 & -\tensor{e}{_i} \\
+        0 & -\tensor{e}{^i} & 0
+      \end{pmatrix} \qc
+      S=-\gamma \mqty(0 \\ 0 \\ \myvec{\psi}),
+    \end{equation}
   \end{frame}
 
   \begin{frame}{Existing first order formulations}