clean up theory doc