Product, and ≡: extract the with-K parts in separate modules