diff --git a/provability.pdf b/provability.pdf
index 1a7b967..bbaca5d 100644
Binary files a/provability.pdf and b/provability.pdf differ