the debt is not non-dischargeable under another Bankruptcy Code provision). The $80,000 portion of the debt is the in rem liability, and it is not discharged by the court's discharge order. This liability can presumably be satisfied by the creditor taking the asset itself. An essential concept is that when commentators say that a debt is "dischargeable", they are referring only to the debtor's personal liability on the debt. To the extent that a liability is covered by the value of collateral, the debt is not discharged. This analysis assumes, however, that the collateral does not increase in value after commencement of the case. If the collateral increases in value and the debtor (rather than the estate) keeps the collateral (e.g., where the asset is exempt or is abandoned by the trustee back to the debtor), the amount of the creditor's security interest may or may not increase. In situations where the debtor (rather than the creditor) is allowed to benefit from the increase in collateral value, the effect is called "lien stripping" or "paring down". Lien stripping is allowed only in certain cases depending on the kind of collateral and the particular chapter of the Code under which the discharge is granted. The discharge also does not eliminate certain rights of a creditor to setoff (or "offset") certain mutual debts owed by the creditor to the debtor against certain claims of that creditor against the debtor, where both the debt owed by the creditor and the claim against the debtor arose prior to the commencement of the case. Not every debt may be discharged under every chapter of the Code. Certain taxes owed to federal, state or local government, student loans, and child support obligations are not dischargeable. (Guaranteed student loans are potentially dischargeable, however, if the debtor prevails in a difficult-to-win adversary proceeding against the lender commenced by a complaint to determine dischargeability. Also, the debtor can petition the court for a financial hardship discharge, but the grant of such discharges is rare.) The debtor's liability on a secured debt, such as a mortgage or mechanic's lien on a home, may be discharged. The effects of the mortgage or mechanic's lien, however, cannot be discharged in most cases if the lien affixed prior to filing. Therefore, if the debtor wishes to retain the property, the debt must usually be paid as agreed. (See also lien avoidance, reaffirmation agreement)