[math-fun] Why is the Tits group not a "proper" sporadic group?