Formal Hedging