We show that the theory of the asymptotic couple of the field of logarithmic transseries is distal. As distal theories are NIP (have the non-independence property), this provides a new proof that is NIP.
"Distality for the Asymptotic Couple of the Field of Logarithmic Transseries." Notre Dame J. Formal Logic 61 (2) 341 - 361, May 2020. https://doi.org/10.1215/00294527-2020-0010