since equation (9) is a direct implication of assumption 2, equations (3) - (8)
may seem to belabor the obvious. We include them to set forth clearly the
valuation process implied by assumption 2 and thereby to set the stage for dealing
with the less obvious problem of determining the value of the tax savings
on interest payments.