How to prove the André-Oort conjecture using model theory'