Tex files for the proposal added