Valuation_(logic) loading ...