$15.$ A taxpayer did not pay $$10,000$ that was due when she filed her tax return. She heard nothing from the IRS until she went to pick up her paycheck this week. She then learned that her employer had received a levy and had paid over all of her wages to the IRS. Was this levy proper?