A₄ modular invariance and the strong CP problem | Synapse