In the original case, the local field of interest was the field of formal Laurent series in the indeterminate X,[disputed (for: in the original case, Laurent series were not invented nor used implicitly) ] i.e. the field of fractions of the formal power series ring