🔗 ⚙️

subexponential from cardinality [b] by krøss kancel