Which is to say, they'll be banned in the US.