/notes/

• ../
• original_plan.txt
• term_rewriting.md