paper7.ps and paper8.ps are identical
paper7.pdf and paper6.pdf are identical
paper15.pdf and paper16.pdf are identical:
Paper7.ps and paper6.pdf contain the files that are linked in the index. A 16th paper is not listed there
>>> removed redundant paper8.ps, paper8 is in paper8.pdf; removed redundant paper7.pdf, paper7 is in paper7.ps


