The fact that all of this pareto optimal, optimality conditions, like equation of marginal cost, marginal benefits aren't across marginal benefits, marginal costs, follows from the visible half of the market. 