Imagine you're running a restaurant kitchen where every dish shares ingredients. When you change the price of the salmon, demand for the steak shifts — but so does the chicken, the pasta, and the vegetarian option, each by different amounts. The standard workhorse models in economics (logit, nested logit) handle this like a kitchen with rigid recipes: salmon and steak can substitute, but only in lockstep patterns dictated by the model's structure. What Monardo, Fosgerau, and de Palma have built is a kitchen where every dish can share ingredients in arbitrary, overlapping ways — and you can still read the recipe backwards from the plates that come back. The committed claim: a new class of demand models for aggregate market data that (a) admit closed-form inverse market share functions, (b) can be estimated by linear instrumental variables regression, and (c) accommodate substitution patterns strictly richer than any existing additive random utility model (ARUM). This is not a tweak to BLP or a new nesting trick — it is a new mathematical object, a generator function acting on market shares rather than on indirect utilities, producing invertible demand systems by construction. The architecture leans on McFadden's generalized extreme value (GEV) framework but repurposes its generating-function machinery. Where GEV generators operate on exp(V) terms to produce choice probabilities, these 'inverse generators' operate on observed market shares to produce the mean utilities that rationalize them. The constructive results are the payload: the authors show you can build arbitrary nesting structures — including overlapping nests and partial nest membership — while preserving closed-form invertibility. This is the structural property that makes linear IV estimation feasible, because you can move from observed shares to implied utilities without numerical inversion. Why does this matter? The BLP estimator (Berry, Levinsohn, Pakes 1995) is the workhorse of empirical IO, but its inner loop requires numerically inverting a system of nonlinear equations at every parameter guess. This is slow, sometimes fragile, and limits the complexity of substitution patterns practitioners actually use. Nested logit gives closed-form inversion but only within rigid tree structures — no overlapping groups, no partial membership. This paper occupies the gap: richer than nested logit, cheaper than full BLP. The class strictly contains all regular ARUM models, meaning anything you could estimate before, you can estimate here, plus more. The integrity picture is characteristic of theoretical econometrics: the results are mathematical (closed-form expressions, proofs of consistency with utility maximization), not empirical. There is one table in the paper; the validation is proof-based rather than simulation- or experiment-based. This is appropriate for the claim being made — the contribution is the mathematical object itself — but it means the empirical performance question (how well do these models fit real market data compared to BLP?) is left entirely for future work. The successor question looms large: the obvious next paper is an empirical horse race — estimate these models on standard IO datasets (automobiles, cereals, airlines) and compare fit, computational speed, and substitution-pattern recovery against BLP with random coefficients. The authors almost certainly know this is coming; the 27-page theory paper reads like the foundation for a two-paper sequence. Whether the closed-form advantage translates into meaningfully better empirical practice is the load-bearing question that remains unanswered. For the field, this is a serious theoretical contribution that could reshape how demand estimation is taught and practiced — if the empirical follow-up delivers. The mathematical machinery is elegant and the class is provably larger than existing alternatives. But until someone runs it on real data and shows it matters for antitrust, merger simulation, or pricing, the practical significance remains potential rather than demonstrated.