YES coupons pay 10*(1-(Aug1Price(BC96)+Aug1Price(dole)+Aug1Price(3p96))) + .5, clipped to [0,1].
Aug1Price(TheClaim) is the volume-weighted average YES coupon price for all TheClaim transactions that occur on 8/1/96.
None.