1 problem

Model-completeness conjecture. The theory $T$ is model complete if and only if $N$ is of type I.