How to obtain elegant Fitch-style proofs from Goal directed ones.