/Master/texmf-dist/tex/generic/metapost/
../
mproof.tex
mpsproof.tex