. . . "At the top of all papers and documents, including source files, make sure to put your group's name, the names and e-mail addresses of the group members." .