Still, no one walks around calling themself a CSAILian. If there are people calling themselves Mirians, even if those people aren't directly affiliated with MIRI, that could hurt MIRI's credibility, I suspect, because it would make them seem unusual relative to other serious research groups.