It is obvious, however, that this is only legitimate if marginal user cost is zero or if supply price is specially defined so as to be net of marginal user cost, just as I have defined (p. above) 'proceeds' and 'aggregate supply price' as being net of aggregate user cost.