Text this: Integral domains inside Noetherian power series rings :