https://123dok.org/document/8yd8oe1q-definable-groups-nip-theories-ellis-group-conjecture.html