../../../generic/proofs/taylor/QED.sty