[eyelidlessness]

I had to refresh my memory, so I looked it up. What I see now is that the mandate is technically still law, but the tax penalty was eliminated. Not that it’s a meaningful distinction, just an odd legal artifact.