Updated MS. Prettified middle line in conditional expectation