“According to Winston, Harvey's token consumption has reached 13 trillion tokens.”