diff --git a/info/lectures/lec07-soundness.pdf b/info/lectures/lec07-soundness.pdf
index baa643410907ca188135bbba3f0dab8dabed731c..13b8f49309d57e7a3e1c39245d4015e36fed58d7 100644
Binary files a/info/lectures/lec07-soundness.pdf and b/info/lectures/lec07-soundness.pdf differ