valuation algebra