Update theory.rst