Bad groups in the sense of Cherlin

There exists no bad group (in the sense of Gregory Cherlin), namely any simple group of Morley rank 3 is isomorphic to PSL2(K) for an algebraically closed field K.