Updated theory documentation.