Interpreting the weak monadic second order theory of the ordered rationals

We show that the weak monadic second order theory of the structure $({\mathbb Q}, <)$ is first order interpretable in its automorphism group.