#baby monster #sporadic simple group #tits group