diff --git a/doc/include/references.bib b/doc/include/references.bib
index fec0162da7f985e64477d9fa429c3dc895126de2..e1c21e3f96cbe075b722df00b89ed715c7fdcffb 100644
--- a/doc/include/references.bib
+++ b/doc/include/references.bib
@@ -18,6 +18,10 @@
   howpublished = {\url{https://docs.python.org/3/library}}
 }
 
+@misc{python-condition,
+howpublished = {\url{https://docs.python.org/3/library/threading.html#threading.Condition}}
+}
+
 @misc{python-ipc,
   howpublished = {\url{https://docs.python.org/3/library/ipc.html}}
 }
diff --git a/doc/lab4.pdf b/doc/lab4.pdf
index 9cc208afc27ae7f7b2303ae59a09fbd5efa0e011..c853fb18661c719fd6098451ae8679afccd6765c 100644
Binary files a/doc/lab4.pdf and b/doc/lab4.pdf differ
diff --git a/doc/lab4.tex b/doc/lab4.tex
index 0836f73aec8504c833538fab1cdff51fecda1c0d..ee39e94fe6d86d9513694134c1837ebbcdd7ecd2 100644
--- a/doc/lab4.tex
+++ b/doc/lab4.tex
@@ -145,6 +145,14 @@ join and leave the system. For simplicity, you may assume that the peer holding
 the token never disappears (\eg, due to a system crash) without passing the
 token to someone else.
 
+\subsection{Additional notes}
+
+So far in this course we have only explored certain behaviours when it
+comes to locks. You may want to consult the Python documentation for
+\code{threading.Condition} for some additional mechanisms (rather than
+try to implement them yourself, as this is not the focus of this
+lab).\cite{python-condition}
+
 \section{Conclusion}
 In this lab, you have implemented one of the algorithms for distributed mutual
 exclusion. As motivated in the introduction, such an algorithm is a crucial