Would Grok have been better if Musk wasn't there to fuck it up with his retardation?