reviewed 07-files.tex for publication