Bond pricing and redemption