Kaj_Sotala comments on CFAR-run MIRI Summer Fellows program: July 7-26