Tex files for the talk.