2 problems

Universal Type I conjecture. The model $I(G,p)$ is of Type $\mathcal{I}$ for every initial density $p\in(0,1)$.

Finite termination conjecture. Every process of splittings must end after finitely many steps.