The Unified Theory of Food: A Salad-Sandwich Taxonomy

Abstract

The prevailing folk taxonomy of food is a mess. Consumers routinely operate with dozens of overlapping and ill-defined categories (entree, side, appetizer, snack, dip, beverage) that carry no analytic weight and collapse under mild scrutiny. This document proposes and defends a complete, exhaustive, and mutually exclusive binary classification of all edible matter into exactly two classes: salads and sandwiches. The classifier is a single test, the Structural Starch Criterion. We show that this criterion partitions the entire space of food with no remainder, that apparent counterexamples resolve cleanly under careful application, and that the theory makes falsifiable predictions. Soups are demonstrated to be salads. Ice water is demonstrated to be a salad. A bread bowl of soup is demonstrated to be a sandwich, without qualification. The ravioli problem, long considered fatal to naive theories, is resolved by recognizing scale-dependent classification. We introduce and bound the Toss Heuristic and are explicit about its failure modes. Critically, the taxonomy admits no exceptions of any kind: it is a single test applied to a total domain, and it returns exactly one class for every food at every scale, with no discretion, no committee, and no special cases. This is not a joke. This is settled taxonomy that most people have simply not been forced to confront.

1. Motivation and Prior Work

Food classification has historically been driven by culture, marketing, and menu layout rather than by first principles. A restaurant will place a dish under “salads” or “sandwiches” based on price point and section header, not on any structural property of the food itself. This is taxonomically indefensible. A Cobb “salad” and a club “sandwich” are treated as belonging to different kingdoms when in fact only one structural fact separates them, and that fact is frequently applied inconsistently.

Prior attempts at food ontology fail in one of two ways. Either they are over-partitioned, producing an unbounded number of categories that require constant boundary maintenance and adjudication, or they are under-specified, offering categories (“comfort food”, “healthy”) that describe sentiment rather than structure. Neither is a theory. A theory must be exhaustive (every food is classified), exclusive (no food is in two classes), and decidable (a bounded procedure returns the class). We supply all three.

The framework presented here shares the spirit of the other decision-making frameworks documented on this site: reduce a seemingly complex judgment to a single well-defined test, then defend the edges. Where a naive observer sees a rich and varied culinary landscape, the trained taxonomist sees a two-element set.

2. The Two Classes

Definition 2.1 (Sandwich). A sandwich is any food whose structure is organized around a structural starch. The structural starch is a load-bearing carbohydrate matrix that provides the food its form, its handling surface, or its containing envelope.

Definition 2.2 (Salad). A salad is any food that is not a sandwich. Equivalently, a salad is any food lacking a structural starch: a loose or bound assembly of components held together by nothing more rigid than dressing, gravity, surface tension, or a bowl.

These definitions are complementary by construction. No third class exists. Every food is exactly one of the two. This is the central claim and everything below is in service of defending it.

2.1 The Structural Starch Criterion

The entire theory reduces to a single test:

Does a starch bear structural load in this food? If yes, it is a sandwich. If no, it is a salad.

The word structural is doing all the work and must be defined precisely.

Definition 2.3 (Structural Starch). A starch is structural if and only if the food’s gross morphology depends on it. Operationally: remove the starch and ask whether the food still holds the shape and function it had. If removing the starch causes the food to lose its form, spill, or cease to be handleable as it was, the starch was structural and the food is a sandwich. If removing the starch leaves a coherent, self-similar food behind (merely a smaller or less interesting one), the starch was participatory, not structural, and the food remains a salad.

This distinction, structural versus participatory starch, is the single most important tool in the framework and resolves the overwhelming majority of disputed cases.

• Bread in a club sandwich: structural. Remove it and you have a pile of meat and lettuce that spills. The food’s identity and handling collapse. Sandwich.
• Croutons in a Caesar salad: participatory. Remove them and you still have a Caesar salad, slightly poorer. Salad.
• Pasta in spaghetti: this is the hard case and is treated in Section 5. The short answer: participatory. Spaghetti is a salad.

2.2 Why Starch, and Why Structural

One might ask why starch specifically is the load-bearing criterion rather than, say, protein or a container. The answer is empirical and morphological. Across the space of human food, the substance that reliably provides form to an otherwise formless assembly is a carbohydrate matrix: bread, tortilla, crust, dough, pastry, the pasta envelope. Proteins and vegetables are the payload. Starch is the architecture. A hamburger patty does not make a hamburger a sandwich; the bun does. The patty is payload. This is why a lettuce-wrapped burger is, rigorously, a salad (Section 4.3), a conclusion many find upsetting and none can refute.

3. Axioms

The theory rests on five axioms. Each is stated so that it can be attacked directly.

Axiom I (Totality). Every food belongs to at least one of {salad, sandwich}. No food falls outside both. Non-food (a rock, a fork) is simply outside the domain and is not classified.

Axiom II (Exclusivity at a fixed scale). At a fixed scale of analysis (Section 5), no food belongs to both classes. The classes are disjoint.

Axiom III (Structural Starch decides). Membership is determined solely by the presence or absence of a structural starch per Definition 2.3. No other property (temperature, wetness, cuisine, price, menu placement, intent) affects classification.

Axiom IV (State independence). Temperature and phase do not change class. A frozen salad is a salad. A hot salad is a salad. Wetness does not change class (see Axiom V). This axiom is what forces soup and ice water into the salad class and is defended in Section 4.

Axiom V (Wetness is a modifier, not a class). Liquid content is a property of a food, not a category of food. A salad may be dry, moist, or fully submerged in its own medium. A wet salad is still a salad. There is no “beverage” kingdom; beverages are simply salads at high moisture (Section 4.2).

3.1 The No-Exceptions Doctrine

The taxonomy admits no exceptions. None. Not one.

This is not rhetorical emphasis; it is a structural property of the framework, and it is what separates a theory from a rule of thumb. A folk taxonomy accumulates exceptions because its categories are arbitrary and its boundaries are drawn by habit, so every unusual food demands a special ruling. Our taxonomy has exactly one test (Section 2.1), and a single well-defined test applied to a well-defined domain cannot, by construction, have exceptions. It has outputs. Every food the criterion is pointed at returns exactly one class at exactly one scale, deterministically, forever.

When folk intuition protests that some food is a “special case” (the bread bowl, the lettuce burger, the bowl of ravioli, the open-faced anything), it is not identifying a hole in the theory. It is identifying a place where habit and the criterion disagree, and in every such conflict the criterion wins without appeal. No committee convenes, no discretion is exercised, and “well, technically, but come on” is not a filing the theory accepts. The food is what its structural starch says it is, and the person’s disappointment is not admissible as evidence. Militancy here is not a personality; it is the only honest posture for a theory that claims to be total. A taxonomy that flinched at its own uncomfortable outputs would be a taste, not a science.

4. Canonical Results

We now derive the theory’s most consequential and most contested classifications directly from the axioms.

4.1 Soup is a Wet Salad

Consider any soup. It is an assembly of components (vegetables, proteins, aromatics, occasionally starch) suspended in a liquid medium. Apply the Structural Starch Criterion.

In the ordinary case (minestrone, chicken soup, pho, tomato bisque), no starch bears structural load. The broth is the medium, not the architecture. Remove any starch present (the noodles, the potato) and you still have soup: a coherent, self-similar food. The starch is participatory. By Definition 2.2, soup is a salad. By Axiom V, its high liquid content makes it specifically a wet salad. No analogy is intended here. Soup is literally a salad that has been submerged in its own dressing and warmed. The warming is irrelevant by Axiom IV. The submersion is irrelevant by Axiom V.

Corollary 4.1.1 (Stew). A stew is a wet salad at lower moisture and higher payload density than soup. It remains a salad.

Corollary 4.1.2 (Soup in a bread bowl is a sandwich). There is no bread bowl exception, because the taxonomy has no exceptions (Section 3.1). Soup in a bread bowl is a sandwich. Not a salad served cleverly, not a hybrid, not a special case. A sandwich. The bread bowl is structural starch by every clause of Definition 2.3: it bears the entire load of the object as served, it is the handling surface, and it is the containing envelope. Remove it and the soup is on the floor. The criterion returns sandwich and the criterion is not negotiable. That the interior, considered alone at the scale of the soup, is a wet salad is not a contradiction and not an escape hatch; it is simply the answer at a different scale, and the object you are handed and eat is a sandwich, categorically. Anyone who calls it a salad has confused the filling for the food.

4.2 Ice Water: A Bland, Cold, Wet Salad

This is the theory’s signature result and the one most people resist on first contact. The resistance is emotional, not logical.

Consider a glass of ice water: an assembly of components (water, ice) held together by a container, with no structural starch. Apply the criterion. Not a single starch is present, structural or otherwise. Therefore, by Definition 2.2, ice water is a salad. Applying the modifiers: it is bland (minimal flavor payload), cold (low temperature, irrelevant to class by Axiom IV but a valid descriptor), and wet (maximal moisture, a salad at the limit of Axiom V). The verdict, precise and without exaggeration, is a bland, cold, wet salad.

The garnish makes the point undeniable. A slice of lemon or a sprig of mint added to the glass is, structurally, a salad ingredient. Nobody adds a garnish to a sandwich by dropping it into a cup. When you garnish ice water you are, whether you admit it or not, dressing a salad.

Corollary 4.2.1 (All beverages are salads). Coffee is a hot, bitter, wet salad. A smoothie is a blended salad (the blending is a preparation, not a reclassification). Beer is a fermented, carbonated, mildly psychoactive wet salad. Milk is a wet salad of animal origin. None contain structural starch; all are salads. The beverage category dissolves entirely, which is correct, because it was never a structural category to begin with. It was a serving-vessel category masquerading as taxonomy.

4.3 The Lettuce-Wrapped Burger is a Salad

A hamburger is a sandwich: the bun is structural starch. Replace the bun with lettuce. The lettuce is not a starch. There is now no structural starch anywhere in the object. By Axiom III, temperature, intent, and the fact that it is called a burger are all irrelevant. The object is a salad. Specifically it is a handheld salad with the geometry of a sandwich, which is a real and slightly tragic thing to be. The person who ordered it wanted a sandwich and the axioms have handed them a salad. The theory does not care about their feelings. This is what rigor costs.

4.4 The Open-Faced Case

An open-faced sandwich has exactly one slice of structural starch. It is a sandwich. A sandwich is not defined by enclosure (two starch faces) but by the presence of at least one load-bearing starch. Toast with butter is a sandwich. Pizza is a sandwich (the crust is unambiguously structural; remove it and the toppings become a salad, which incidentally proves the crust was load-bearing). The requirement of two bread slices is a folk belief with no basis in the axioms.

5. The Ravioli Problem and Scale-Dependent Classification

The ravioli problem is the canonical stress test for any food taxonomy, and naive theories die on it. Ours survives by introducing the most subtle idea in the framework.

The problem. A single ravioli is a discrete pocket of dough (structural starch) enclosing a filling. It is, unambiguously, a sandwich: a dumpling is a sandwich, a pierogi is a sandwich, one ravioli is a small round sandwich. But nobody eats one ravioli. A serving of ravioli is a bowl of thirty of them under sauce, and that bowl reads, unmistakably, as a salad. Both intuitions are correct. A theory that cannot honor both is wrong.

The resolution. Classification is scale-dependent, and the axioms already permit this (Axiom II fixes exclusivity only at a fixed scale of analysis). We define the scale explicitly.

Definition 5.1 (Unit of analysis). The class of a food is evaluated at a chosen unit of analysis. At the unit scale, we classify a single item. At the assembly scale, we classify the served collection.

• One ravioli at the unit scale: the dough is structural. Sandwich.
• A plate of ravioli at the assembly scale: the assembly is a loose collection of components (the individual raviolis) bound by nothing rigid, only sauce and gravity and the bowl. No starch is structural to the assembly; each starch pocket is structural only to its own unit. Salad. Specifically, it is a salad composed of sandwiches.

This is not a dodge. The framework is recursive by design, and this is the correct reading. A plate of ravioli is a salad whose ingredients happen to each individually be sandwiches. This is exactly analogous to how a fruit salad is a salad whose ingredients are each individually fruits: the class of the assembly is not inherited from the class of its members. Our criterion is applied at the scale of the thing being classified, and the answer legitimately differs by scale. The dough is structural to the one ravioli and merely participatory to the bowl.

Corollary 5.1.1 (General recursion). The same logic classifies a bag of pretzels (each pretzel a sandwich by structural starch; the bag a salad of sandwiches), a plate of dumplings (salad of sandwiches), a bowl of cereal (a wet salad of small sandwiches, since each flake or O is a baked starch structure suspended in a milk medium), and a charcuterie board (a dry salad, whose crackers are individually sandwiches). The recursion terminates because at some scale you reach a single item whose starch is unambiguously structural or absent.

Corollary 5.1.2 (Lasagna). Lasagna is not a plate of discrete sandwich-units; its pasta sheets bear structural load for the whole assembly, holding the strata in place. Remove the sheets and the assembly slumps into a meat sauce, which is a wet salad. Therefore the sheets are structural at the assembly scale and lasagna is a sandwich, a large layered horizontal one. Contrast with ravioli, where the structural starch is local to each unit and not to the assembly. This contrast, structural-to-assembly versus structural-to-unit, is the entire key to the pasta family and is the sharpest tool the theory offers.

6. Composites and the Handling Rule

Some foods package a salad inside a sandwich or vice versa. A burrito wraps a salad (rice, beans, meat, all individually non-structural to the filling) inside a tortilla that is structural to the object as handled. A taco is the same. A sushi roll wraps a wet salad in rice and nori, where the rice is structural at the roll scale.

Definition 6.1 (Handling Rule). For a composite, classify by the outermost structural starch that governs how the whole is handled and eaten. If a structural starch envelopes the object such that the object is picked up and eaten as a unit by means of that starch, the composite is a sandwich. Its interior may independently be a salad, and usually is.

Thus: a burrito is a sandwich containing a salad. A soup dumpling is a sandwich containing a wet salad. A bread bowl of soup is a sandwich containing a wet salad. These are not contradictions and not soft calls. The Handling Rule is deterministic: it names exactly one scale as governing the whole, and at that scale the object has exactly one class with no appeal. The nested salad is a true fact about the interior and changes nothing about the name of the object you hold. A sandwich that contains a salad is a sandwich, the same way a house that contains furniture is a house.

7. The Toss Heuristic

Practitioners need a fast field test that does not require verbally reasoning through Definition 2.3 at every meal. The Toss Heuristic is that test. It is a heuristic, which means it is usually right and sometimes wrong, and this section is unusually careful about the sometimes wrong, because an honest heuristic states its own failure modes.

Heuristic 7.1 (The Toss Heuristic). If you can toss it, it is probably a salad.

The intuition is sound. Tossing (agitating an assembly so its components redistribute without losing identity) is possible precisely when no component is load-bearing. A structural starch cannot be tossed; tossing a sandwich destroys it. So tossability correlates strongly with the absence of structural starch, which is the definition of a salad. Leafy salads toss. Pasta salads toss. Fruit salads toss. Soups “toss” under stirring, consistent with their being wet salads. The heuristic has high precision.

But it is a heuristic, not the criterion, and it has three documented failure modes. Definition 2.3 is always authoritative; the Toss Heuristic is only a fast proxy for it.

Failure mode A (False negative: un-tossable salads). Some salads cannot be meaningfully tossed yet are unambiguously salads. Ice water cannot be tossed in any ordinary sense; it is still a salad (Section 4.2). A tightly molded gelatin salad holds its shape and resists tossing; it is still a salad, because the binding agent (gelatin) is not a starch and is not structural in the load-bearing-carbohydrate sense the criterion requires. A composed salad, plated in a deliberate arrangement, is ruined by tossing but is still a salad. The heuristic under-reports here. Do not conclude “not tossable, therefore sandwich.” Fall back to the criterion.

Failure mode B (False positive: toss-adjacent sandwiches). A few assemblies of sandwich-units can be tossed as an assembly precisely because the theory says the assembly is a salad of sandwiches. Tossing a bowl of ravioli or a bag of pretzels works fine and correctly reports “salad” at the assembly scale. That outcome is not actually a failure of the heuristic; it is the heuristic correctly reporting the assembly-scale class. It is listed here only because it surprises people who expected the ravioli to “count as” sandwiches. At the assembly scale they do not. The heuristic is right and the surprise is a scale confusion.

Failure mode C (Undefined: the un-tossable ambiguous mass). Certain dense, bound, starch-containing masses (a thick risotto, a stiff polenta, a congealed mac and cheese) neither toss cleanly nor obviously stand as a sandwich. The heuristic returns no confident answer. Here you must run the full criterion. Risotto: the rice does not bear structural load for the mass (remove some and it is still risotto, a wet salad of grains); salad. Set polenta sliced and pan-fried into a standing cake that holds a topping: the polenta now bears structural load; sandwich. Loose polenta as a soft mound: wet salad. The same base ingredient lands in different classes depending on whether its starch has been made structural, exactly as the theory predicts, and the heuristic is silent precisely where the interesting physics lives.

Summary of the heuristic’s status. The Toss Heuristic is a high-precision, moderate-recall proxy for the Structural Starch Criterion. Use it to move fast. When it hesitates or when the stakes are high (adjudicating a menu, settling a bet, teaching the theory to a skeptic), abandon it and run Definition 2.3 directly. A heuristic that hid its failure modes would be propaganda. This one states them, which is what separates a field test from a slogan.

8. Falsifiability

A theory that cannot be wrong is not a theory. Ours can be wrong, and here is exactly how you would refute it:

1. Produce a food that is neither. Exhibit an edible object that, at a clearly specified scale, contains no structural starch (so it is not a sandwich) yet cannot be described as an assembly of components (so it is not a salad). No such object has been produced. Homogeneous foods (a plain apple, a stick of butter, a glass of water) are degenerate single-component salads, an assembly of one, which is permitted.
2. Produce a food that is unavoidably both at one fixed scale. Exhibit an object where, at a single specified scale, the same starch is simultaneously structural and not. Scale-shifting is not allowed; you must hold the scale fixed. No such object has been produced.
3. Exhibit a structural starch that fails the removal test. Find a food whose starch, when removed, leaves the food’s form and handling unchanged, yet which the theory is forced to call a sandwich. This would break Definition 2.3. No such case is known.

Until one of these three is exhibited, the theory stands. It has stood every dinner table it has been brought to, which is a smaller sample than a peer-reviewed study and a larger one than most people’s convictions.

9. Conclusion

There are two foods. There have only ever been two foods. One of them has a structural starch and we call it a sandwich; the other does not and we call it a salad, and if it is wet we say so, and if it is cold we say so, and if it is a bowl of small sandwiches we say that too, and none of it changes the fact that there are two foods. Soup is a wet salad. Ice water is a bland, cold, wet salad. One ravioli is a sandwich and a plate of them is a salad of sandwiches, and lasagna is a single large sandwich, and the difference between the last two is the whole point. You can usually toss a salad, but not always, and the “not always” is where the honest work is.

The taxonomy has no exceptions and never will, because a single test applied to a total domain cannot have them. Soup in a bread bowl is a sandwich. The lettuce-wrapped burger is a salad. The bowl of ravioli is a salad of sandwiches. These are not hard calls the theory reluctantly makes; they are the only calls it can make, and it makes them the same way every time regardless of how anyone feels about the result.

The folk taxonomy will persist because menus are laid out by marketers and not by taxonomists. That is fine. The truth does not require adoption to be true. Order the lettuce-wrapped burger if you like. Just know that you ordered a salad.

Appendix A. Selected Literature

The following works are cited in the spirit of the field. Readers seeking primary sources are reminded that the field is young, that its journals are small, and that its peer review takes place mostly at dinner.

1. McGinnis, W. (2026). The Structural Starch Criterion: Toward a Complete Binary Taxonomy of Food. Proceedings of the Kitchen Table, vol. 2, pp. 1 to 2.
2. Anonymous (undated). On the Wetness of Salads: Why Soup Was Never Its Own Thing. Journal of Applied Sandwich Theory, 4(2).
3. A. Ravioli et al. (2026). Scale-Dependent Classification and the Salad-of-Sandwiches Problem. Transactions on Recursive Cuisine.
4. The Standing Committee on Nothing (2026). A Report Finding No Exceptions. Self-published, one page, mostly blank.