Stav dette: Modular Ax-Lindemann-Weierstrass with Derivatives