Def/Euclidean valuation 1