Create theory.txt