what if grok is really Adrian Dittmann?