change valuation function parameter style
use paper's concrete syntax