Is there concrete evidece that those are xAI's default prompts anyway? They seem plausible enough but how would company outsiders know?