Martingales and the valuation of redundant assets