File #455: "prooftexts-index.pdf"