/previous-art/doc/
../
ProofGeneral-image.jpg