Def/Euclidean valuation

 =Metadata=