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