Theory Notebook Complete