“…It is straightforward to check that ord γv,ϕ = v. Trivial valuations can be written as v = ord γ , where γ is any constant arc for which γ(0) is the home of v. Among all arcs giving the same semi-valuation v, there is a distinguished one, characterized by being maximal with respect to specialization in the arc space. Namely, we consider the family Ish08,dFEI08,Mor09], and its generic point γ v verifies ord γv = v. Any other arc inducing v is a specialization of γ v . Following the terminology of [Mor09], we call C v the maximal arc set associated to v. If v is trivial, we have that…”