The $\mathbb{T}$-conjecture on model completeness

Consider $\mathbb{T}$ as an ordered valued differential field. The $\mathbb{T}$-conjecture. The field $\mathbb{T}$ is model complete. Equivalently, in the language of differential rings, every existential formula in that language is equivalent in $\mathbb{T}$ to a universal formula.