AN EXISTENTIAL ∅-DEFINITION OF $F_q [[t]]$ IN $F_q left( t right)$. - Will Anscombe; Jochen Koenigsmann (J. Symb. Log., 2014)