Update theory.md