/obsolete/macros/generic/proofs/taylor/
../
boxproof-old.tex
boxproof.tex