diff --git a/README.md b/README.md
index dc9aadf..39c638a 100644
--- a/README.md
+++ b/README.md
@@ -7,8 +7,6 @@
  - Python files: installable, package list, etc
  - $\alpha$-equivalence check
  - Versioning
- - Clean up runner & printing
- - Count reductions
 
 ## Todo:
  - live syntax check