2 problems

Restriction conjecture. If $\mathcal{S}$ is a maximal-by-size ${\mathcal{M}}$-separated collection inside $2^E$ and ${{\mathcal{D}}}$ is a mutation-closed domain, then…

Multi-separation star refinement conjecture. There exists a set of separations $\{\overleftarrow{u}_i:i\in[n]\}$ such that: