utility inside the integral; choice definition
complexify abstract, make eqns not totally wrong