It’s somewhat helpful to pick names that are a single token after byte pair encoding, which TOK happens to be.