diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf
index 0bc0369..b1994b5 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/06_exercises/03_checklist.tex b/semester4/fmfp/parts/06_exercises/03_checklist.tex
index 63c83b0..9feaf30 100644
--- a/semester4/fmfp/parts/06_exercises/03_checklist.tex
+++ b/semester4/fmfp/parts/06_exercises/03_checklist.tex
@@ -8,7 +8,7 @@ These are (some of) the things that we need to learn by heart for the exam
     \item LTL symbols
     \item Induction scheme (especially structural induction and shape of derivation tree)
     \item Ideally for shortness the CYP syntax (roughly, they said they'd not deduct points for incorrect CYP syntax)
-    \item Promela syntax
+    \item Promela syntax (and possibly Viper), but they stated that we don't need to know that well
     \item Read through PVW script (it's VERY good and has some handy tips and tricks for all types of exercises)
 \end{todolist}