1: \begin{abstract}

2: {\noindent

3: We develop a general formalism for multiple moduli and their associated modular symmetries.

4: We apply this formalism to an example based on 

5: three moduli with finite modular symmetries $S_4^A$, $S_4^B$

6: and $S_4^C$, associated with two right-handed neutrinos and the charged lepton sector, respectively.

7: The symmetry is 

8: broken by two bi-triplet scalars to the diagonal $S_4$ subgroup.

9: The low energy effective theory involves the 

10: three independent moduli fields $\tau_A$, $\tau_B$ and $\tau_C$,

11: which preserve the residual modular subgroups $Z_3^A$, $Z_2^B$ and $Z_3^C$, in their respective sectors,

12: leading to trimaximal TM$_1$ lepton mixing, consistent with current data, without flavons.

13: }

14: \end{abstract}

15: