edits to make constraint_sampling more consistent with \mu_0+\Phi\theta, and changed the definition of \Theta in sections 1 and 2 to take into account the case where \mu_0=0