TODO

• Use semantic naming convention instead of symbol-reading
• Add the ∑ s ∈ 𝒜, ((card α).choose #s)⁻¹ ≤ 1 variant