Martingales and the Valuation of Redundant Assets