K-theory of valuation rings. (20th May 2021)