Pretty much! The IRS does not win 100% of the time in court though. There's a logic to IRS leins being first, because you get basically zero direct benefit from paying taxes so everyone would choose to pay off frequent dealers, family, friends etc first. They almost have to do it to prop up the system. And yes they warped the Constitutional and somewhat beneficial bankruptcy court system into another tax-grabbing arm of the IRS lol.