Seymour's dyadic conjecture for ideal clutters
The Dyadic Conjecture. If C\mathcal CC is an ideal clutter, then