The Systems We Forgot to Price

Reading welfare beta

Welfare beta, written as βW and pronounced beta W, means annual system-welfare loss divided by annual industry revenue, written as Π and pronounced capital pi. Revenue is the denominator, never profit; ΔW and Π must use the same domain, same time period, and same activity boundary. See the welfare-beta methodology manual.

THEOREM

The Missing System Theory The Missing System Theory (MST) states that in any bilateral economic game G between parties A and B, the system-welfare dimension W is not a function of the parties' payoffs, by the structure of the game. This is not a claim about bad actors, incomplete information, or regulatory failure. It is a claim about game structure. The payoff space of G is defined over (A, B) only. The system C that both parties depend on has no payoff coordinate in G. No amount of bargaining, information sharing, or contract refinement can bring W into the bilateral payoff space, because W is not a player in G. The theorem's proof follows from the definition of a bilateral game. Let G = {N, S, u} where N = {A, B}, S = S A × S B is the strategy space, and u = (u A, u B) maps S to ℝ². The system C is not in N. Its welfare W is not in u. The game's equilibrium concept — Nash, subgame-perfect, Bayesian, whatever — optimizes over u A and u B only. Any outcome that is Pareto-optimal in (u A, u B) space may degrade W arbitrarily. The game has no mechanism to detect this degradation because W is not a payoff coordinate. This is the structural exclusion. It is not a bug that better information or better prefer

The Missing System Theory The Missing System Theory (MST) states that in any bilateral economic game G between parties A and B, the system-welfare dimension W is not a function of the parties' payoffs, by the structure of the game. This is not a claim about bad actors, incomplete information, or regulatory failure. It is a claim about game structure. The payoff space of G is defined over (A, B) only. The system C that both parties depend on has no payoff coordinate in G. No amount of bargaining, information sharing, or contract refinement can bring W into the bilateral payoff space, because W is not a player in G. The theorem's proof follows from the definition of a bilateral game. Let G = {N, S, u} where N = {A, B}, S = S A × S B is the strategy space, and u = (u A, u B) maps S to ℝ². The system C is not in N. Its welfare W is not in u. The game's equilibrium concept — Nash, subgame-perfect, Bayesian, whateve