Consider two polluting firms with cost functions C^j(x_j,e_j). The inverse demand function is P(X). Firms engage in negotiations about the permit allocation and a transfer price in a first stage and engage in Cournot competition in the second stage. Derive a condition describing how the firms will trade the permits. Show that marginal abatement costs will eventually not be equal in general.