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