diff --git a/repl25-notes/inductive.pdf b/repl25-notes/inductive.pdf
index e04693b..c4d03bf 100644
Binary files a/repl25-notes/inductive.pdf and b/repl25-notes/inductive.pdf differ