https://123dok.net/document/y4wn6nvq-simple-groups-of-morley-rank-are-bad.html