Seol mar théacs é seo: Ax-Schanuel for the j-function