Re: the MIRI employees, it seems relevant that they’re “former” rather than current employees, given that you’d expect there to be more former than current employees, and former employees presumably don’t have MIRI as a major figure in their lives.
Re: the MIRI employees, it seems relevant that they’re “former” rather than current employees, given that you’d expect there to be more former than current employees, and former employees presumably don’t have MIRI as a major figure in their lives.