Our assumptions ensure that the problem in Eq. (4) is a concave program so the necessary and sufficient first order conditions that must be satisfied for an ex post first best outcome given some realization of ~ can be expressed as Eqs. (5)-(7) below.