wen tokenize the Leonidas?