DNF and Modularity