The Unified Theory of Food: A Salad-Sandwich Taxonomy

Tue, 07 Jul 2026 00:00:00 +0000

When you have eliminated the impossible, whatever remains, however uncomfortable, must be a salad or a sandwich.

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.

Taxonomy on McGinnis, Will

The Unified Theory of Food: A Salad-Sandwich Taxonomy

Abstract