Title: Valuation as a logical process