  We provide an unconditional proof of the Andr\'e-Oort conjecture for the
coarse moduli space $\mathcal{A}_{2,1}$ of principally polarized Abelian
surfaces, following the strategy outlined by Pila-Zannier.
