Edits to The Thi Proposal; minor fixes