gibbs: ready to finish proof marginal w
gibbs: marginal w finished