"Back when this case was its earliest stages, the Obama administration argued that the penalty was a tax." . . . .