JENNIE D. LATTA, Bankruptcy Judge.
BEFORE THE COURT is the motion of the Debtors, Patrick Lee Washington, Sr. and Demetrice Ann Washington, to avoid the judicial lien held by A & A Financial, LLC. The motion recites as follows:
1. The Debtors' Chapter 7 bankruptcy case was filed October 24, 2015.
2. A & A holds a judgment lien in the amount of $9,213.66 resulting from a judgment rendered by the General Sessions Court on May 3, 2011.
3. The Debtors own real property known as 5951 Chandeleur Cove, Memphis, Tennessee.
4. The assessed value of the property is $95,500.00.
5. The property is encumbered by indebtedness in the approximate amount of $106,649.75.
6. The Debtors have no "unexempt" equity in the real property.
7. The Debtors have no "unexempt" personal assets.
Based upon these facts, the Debtors ask that the judicial lien be avoided. No written objection was filed in response to the motion.
The court has reviewed the schedules and statement of financial affairs filed by the Debtors in this case. Schedule C shows that the Debtors have claimed no exemption in the subject property. See Schedule C, Docket No. 1. Thus the court took the question of the avoidance of the judicial lien under advisement to determine whether the failure of the Debtors to claim a homestead exemption should prevent the avoidance of the judicial lien.
Although the Debtors' motion makes no reference to the provision of the Bankruptcy Code upon which they rely for the relief they have requested, the court assumes that they rely upon 11 U.S.C. § 522(f)(1), which permits a debtor to avoid a judicial lien, other than a lien securing a debt for domestic support, "to the extent that such lien impairs an exemption to which the debtor would have been entitled" under applicable law. Tennessee is an "opt out" state for purposes of the exemption applicable in bankruptcy cases, meaning that Tennessee debtors are only permitted to claim exemptions provided under state law or non-bankruptcy federal law. See 11 U.S.C. § 522(b)(2) and Tennessee Code Annotated § 26-2-112. The State of Tennessee permits an individual and his spouse to claim as exempt up to $7,500 in value of real property used as their principal place of residence. See Tennessee Code Annotated § 26-2-301(a).
This case presents the question whether a debtor who has not claimed a homestead exemption in real property used as his residence in connection with his bankruptcy filing, and could not claim a homestead exemption under applicable state law because he has no interest in the property not encumbered by a lien to secure the cost of acquiring the property, may nevertheless avoid a judicial lien on the property pursuant to section 522(f)(1)(A).
Section 522(f)(2)(A) provides a mathematical formula for determining the extent to which a lien is considered to impair an exemption. It provides that "a lien shall be considered to impair an exemption to the extent that the sum of the lien, all other liens on the property, and "the amount of the exemption the debtor could claim if there were no liens on the property" exceeds the value that the "debtor's interest in the property" would have in the absence of any liens." 11 U.S.C. § 522(f)(2)(A). Section 522(f) was added to the Bankruptcy Code as part of the Bankruptcy Reform Act of 1994 for the purpose of clarifying when an exemption is impaired and to what extent a lien should be avoided under § 522(f)(1)(A):
H.R. Rep. No. 835, 103rd Cong. 2d Sess. 52 (1994), reprinted in 1994 U.S.C.C.A.N. 3340, 3361).
What is the meaning of the "debtor's interest in the property" for purposes of the statutory formula? If the Debtors' "interest" in their property is taken to be the value of the property without regard to any encumbrances, the formula results in full avoidance of the judicial lien: the amount of the judicial lien ($9,213.66) plus the amount of the mortgage lien ($106,649.75) and the amount of the minimum exemption to which the Debtors would be entitled if there were no liens on the property ($7,500) equals $123,363.41. This exceeds the value of the Debtors' interest in the property ($95,500) by $27,863.41. Since this amount exceeds the amount of the judicial lien, the judicial lien may be avoided in its entirety.
If, however, the Debtors' interest is considered to be $0.00, because the first mortgage exceeds the value of the property, one might say that there is no homestead exemption to which the Debtors would have been entitled had the judicial lien not been present, and thus that the Debtors are not entitled to avoidance of the judicial lien at all. The Debtors's failure to claim a homestead exemption is consistent with the recognition that they are not entitled to claim this exemption under applicable state law.
The Sixth Circuit has not addressed the precise issue presented in this case, but in a case in which the judicial lien in question held a position superior to a consensual lien under applicable state law, it said that the formula of section 522(f)(2)(A) is to be applied as it is written, resulting in the judicial lien being avoided even though the debtor could not have claimed a homestead exemption in the property under applicable state law. See In re Brinley, 403 F.3d 415, 421 (6th Cir. 2005). The Brinley court quoted with approval this language from the decision of the Eighth Circuit Court of Appeals in Kolich v. Antioch Laurel Veterinary Hospital (In re Kolich), 328 F.3d 406, 410 (8th Cir. 2003):
(Citations omitted.)
The language of Kalich gives the reason why Congress might have intended that judicial liens be avoided even in the face of contrary state priority schemes; i.e., the avoidance of these liens enhances the possibility that the debtor will achieve a fresh start, especially in a case, such as this one, where a drop in market value results in the Debtors' having no equity in their property above the consensual lien for the acquisition of their property.
One might also question whether section 522(f)(1)(A) should apply in a case such as this one in which the debtor has not actually claimed a homestead exemption. The courts that have considered this question have said that it does not matter whether the exemption is actually claimed. See, e.g., Botkin v. DuPont Community Credit, 650 F.3d 396, 400 (4th Cir. 2011) (Debtor need not claim an exemption as a precondition of avoiding a judicial lien on the basis that the lien impairs an exemption). Judge James G. Mixon reached a similar result when debtors claimed only a nominal amount for their homestead exemption in property that was over-encumbered at the time of their bankruptcy filing. See In re May, 340 B.R. 633 (Bankr. W.D. Ark. 2006).
Although initially troubled by the fact that the Debtors have not claimed a homestead exemption and are not entitled to claim a homestead exemption under applicable state law, the court is now persuaded that the formula of section 522(f)(2)(A) is to be applied as written because it will enable the Debtors to enjoy a fresh start unencumbered by the possibility that future appreciation in the value of their home will be of no benefit to them. As stated earlier, the application of the statutory formula results in impairment of the Debtors' homestead exemption in an amount that exceeds the amount of the judicial lien. Thus, the Debtors' motion is