For a multiplicative valuation, the interpretation turns `lawScale x` into multiplication by the scalar `v x`.

Initializing...

For a multiplicative valuation, the interpretation turns `lawScale x` into multiplication by the scalar `v x`. · Prove2Me