/obsolete/macros/generic/proofs/taylor/