clean up on the theory doc