A Note on the Decidability of Th_(F_q (t)) - Brian Tyrrell (2019)