And the AI choose their own shape. I forget, is it ever specified that Cortana chose to look like Dr. Halsey?