Zaslat SMS: Rational Points of Definable Sets and Results of Andre-Oort-Manin-Mumford type