Motivated by the risk of stopped debt coupon payments from a leveraged company in financial distress, we value a level dependent annuity contract where the annuity rate depends on the value of an underlying asset-process. The range of possible values of the asset is divided into a finite number...