Every product is a kind. Kinds form a tree: each inherits the questions of its parents and earns its place by adding at least one of its own. A kind that adds nothing is flagged should fold — it ought to be a value of an existing question, not a kind of its own.

differentiated should fold root

// 99 kinds · 98 differentiated · 0 on the fold-worklist — read live from the pool, growing as it is seeded.