Adding martingale-arguments.