Conditional Expectation Martingale