Gibbs sampling now from constrained full conditional for thetas.