diff --git a/Model_theory.pdf b/Model_theory.pdf
index ffcc3a7..0f1cdaa 100644
Binary files a/Model_theory.pdf and b/Model_theory.pdf differ