diff --git a/README.md b/README.md
index 6959386..26a0d9e 100644
--- a/README.md
+++ b/README.md
@@ -92,9 +92,11 @@ The lines in a file look exactly the same as regular entries in the prompt, but
  - History queue + indexing
  - Show history command
  - Loop detection
+ - Optimization: reduction can be slow with large trees.
  - $\alpha$-equivalence check
  - Command-line options (load a file)
  - Unchurch command: make church numerals human-readable
  - Better Syntax highlighting
  - Syntax highlight printouts
+ - Complete file names and commands
  - Tests
\ No newline at end of file