And where did OpenAI get that money to spend?