explicit modularity argument, more verbose results