Text this: An existential ∅-definition of Fq[[t]]Fq[[t]] IN Fq(t)