To your first question, yes. To your second question, no. They used Grok for that, and it picked out a school to target.