The specific mention of the IRS filing this lien *during* the divorce proceedings really highlights the compounded stress of legal and financial battles. It makes the personal cost of such public debt so much clearer.