Notes for a talk in a Münster seminar, based largely on section 5.1 in Tom
Scanlon's paper "O-minimality as an approach to the André-Oort conjecture".