added prop about valuation rings