Text this: On the theory of the logarithmic transseries field as an ordered valued logarithmic field