tex files added for paper. time for DFS