Quasilinear utility (source code)

= Quasilinear utility
{title2=$u_i=v_i(a,\theta_i)-p_i$}

This utility is linear in the monetary transfer: allocation value minus payment. It supports the incentive comparisons and payment identities used in <mechanism design>.