(Also note that (6) becomes an exact solution to the marginal constraint.)
theoretically, this requires us to derive a new estimate for D. as this is not trivial, nearly all implementations simply use the original estimate (4).