diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf
index 81cdf04..0bc0369 100644
Binary files a/semester4/fmfp/formal-methods-functional-programming-summary.pdf and b/semester4/fmfp/formal-methods-functional-programming-summary.pdf differ
diff --git a/semester4/fmfp/parts/04_language-semantics/01_operational-semantics/00_big-step-semantics/01_semantics.tex b/semester4/fmfp/parts/04_language-semantics/01_operational-semantics/00_big-step-semantics/01_semantics.tex
index 72b9a64..66167db 100644
--- a/semester4/fmfp/parts/04_language-semantics/01_operational-semantics/00_big-step-semantics/01_semantics.tex
+++ b/semester4/fmfp/parts/04_language-semantics/01_operational-semantics/00_big-step-semantics/01_semantics.tex
@@ -26,7 +26,7 @@
     \end{prooftree}
     \qquad
     \begin{prooftree}
-        \hypo{\langle s, \sigma \rangle \rightarrow \sigma'}
+        \hypo{\langle s', \sigma \rangle \rightarrow \sigma'}
         \infer1[\textsc{IfF}$_{NS}$]{\langle \texttt{if}\; b \; \texttt{then} \; s \; \texttt{else} \; s' \; \texttt{end}, \sigma \rangle \rightarrow \sigma'}
     \end{prooftree}
 \]