diff --git a/repl25-notes/inductive.pdf b/repl25-notes/inductive.pdf
index 9a51334..f1f929a 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:d225e280450f9cad817ba8b45fb6906adef1ef476bb4624a178144e18586ced3
-size 278220
+oid sha256:2de6573a21ebd8f42e9aba8285592359997570100dcbd49205836049590ba660
+size 289289