— Employing a proof technique suggested by Zannier and first successfully implemented by Pila and Zannier to give a reproof of the Manin-Mumford conjecture on algebraic relations on torsion points of an abelian variety, Pila presented an unconditional proof of the André-Oort conjecture when the ambient Shimura variety is a product of modular curves. In subsequent works, these results have been ...