An employee has an IRS lien against him. He has $$$ in a NQDC plan. He dies and the NQDC plan has a contractual obligation to pay the widow a death benefit. Is the payment to the widow subject to the IRS lien? Is there any authority? Thanks.