In 2016, Habegger and Pila published a proof of the Zilber-Pink conjecture for curves in abelian varieties (when everything is defined over $\mathbb{Q}^{\rm alg}$). Their article also contained a proof of the same conjecture for a product of modular curves that was conditional on a strong arithmetic hypothesis. Both proofs were extensions of the Pila-Zannier strategy based in o-minimality that has yielded many results in this area. In this talk, we will explain our generalisation of the strategy to the Zilber-Pink conjecture for any (pure) Shimura variety. This is joint work with J. Ren.