commented out formal definitions of DFTs and IMCs. Added organization of paper.