“…(25) To see that this is indeed the case, note that, under any policy as in (12), the equilibrium price must satisfy p = K[9\K,uj} -tq -r p p -tkK. Equivalently, P = 1 + T" K,u>] -T -T K K (26) Next note that if the policy (to,t p ,tk-) implements the constrained efficient allocation, then (27) with coefficients (7o,7k,7w) as in Section 4 with (3q = 6$, Px = 5 X , and j3 y = 5 y , Replacing (27) into (26), one can then easily see that the policy with coefficients T = 70, tk = IK, r p = -y ul - 1. is such that p -6 -lu - 6 (34) Substituting (33) and (34) into (32) (36) into (35) …”