diff --git a/Lectures/L30_IntroToVerificationContd/IntroToVerificationContd.pdf b/Lectures/L30_IntroToVerificationContd/IntroToVerificationContd.pdf
index 2b706f12aaee9a8faffafa27f610d3969b2f16ec..dd41d8ad60c3035cb15b3c88ebcb8f9392e81ba7 100644
Binary files a/Lectures/L30_IntroToVerificationContd/IntroToVerificationContd.pdf and b/Lectures/L30_IntroToVerificationContd/IntroToVerificationContd.pdf differ