> "Ban" is completely appropriate shorthand for "ban (unless something highly improbable occurs)."

It's only improbable if the suspicion is true, and in that case: good riddance.

Also TikTok apparently isn't even allowed in China they have their own version.