AND, under these circumstances, 26 USC 6213(a) provides (in part):
This would be an example of how the law treats the situation where the IRS just didn't follow the rules, so that the putative "lien" would be invalid. Here, the taxpayer can indeed go to court and obtain a determination AFTER the date of "creation" of the invalid "lien."[ . . . ]no assessment of a deficiency [ . . . ] and no levy or proceeding in court for its collection shall be made, begun, or prosecuted [i.e., by the IRS, etc.] until such notice [referring to the statutory notice of deficiency, or 90 day letter, that gives the taxpayer 90 days to file a Tax Court petition] has been mailed to the taxpayer, nor until the expiration of such 90-day or 150-day period, as the case may be, nor, if a petition has been filed with the Tax Court, until the decision of the Tax Court has become final [and here, where the Tax Court rules against the taxpayer, "final" essentially means after judicial appeals have been exhausted];
Notwithstanding the provisions of section 7421(a), the making of such assessment or the beginning of such proceeding or levy during the time such prohibition is in force may be enjoined [i.e., may be ordered stopped] by a proceeding [i.e., filed by the taxpayer] in the proper court, including the Tax Court, and a refund may be ordered by such court of any amount collected within the period during which the Secretary [i.e., during which the IRS] is prohibited from collecting [ . . . ].