Theoretically have tokenizing figured out