Musk said under oath that they use distillation for Grok.