Yep, thanks! Was doing it in a rush on mobile, but yeah, basically same conclusion. And it’s out of money the government already took from everybody so it’s not like everyone has to dig in the couch to find $3, they already gave it to the IRS ages ago.