For a field k of characteristic zero, we study the field of Noetherian power series, k〈〈tQ〉〉, which consists of maps z : Q → k whose supports are Noetherian (i.e., reverse well-ordered) subsets of Q. There is a canonical valuation LE : k〈〈tQ〉〉 → Q ∪ {−∞} that sends a nonzero series to the maximum element of its support. Given a nonzero polynomial f(x, y) ∈ k[x, y] and a series z ∈ k〈〈tQ〉〉 that ...