In this talk I will first define and describe the mathematical object $\mathbb{T}_{\log}$: the ordered valued differential field of logarithmic transseries. I will then discuss a strategy I have developed for proving $\mathbb{T}_{\log}$ is model complete in a certain language that I will introduce. I reduce the problem of model completeness down to two precise conjectures concerning the nature of logarithmic derivatives, solutions of linear differential equations, and differential-transcendence.