Keyword: valuation-rings