texlive/SOURCES/logicproof.doc.tar.xz