diff --git a/repl25-notes/inductive.pdf b/repl25-notes/inductive.pdf
index f1f929a..df35540 100644
--- a/repl25-notes/inductive.pdf
+++ b/repl25-notes/inductive.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:2de6573a21ebd8f42e9aba8285592359997570100dcbd49205836049590ba660
-size 289289
+oid sha256:fcab66eddf4056a3c8799117ba45147da562cf7541eebadf56fbce1ad5f03f84
+size 308830