It has been known that the four-dimensional abelian chiral gauge theories of an anomaly-free set of Wely fermions can be formulated on the lattice preserving the exact gauge invariance and the required locality property in the framework of the Ginsparg-Wilson relation. This holds true in two dimensions. However, in the related formulation including the mirror Ginsparg-Wilson fermions and therefore having the simpler fermion path-integral measure, it has been argued that the mirror fermions do not decouple: in the 345 model with Dirac-and Majorana-Yukawa couplings to XY-spin field, the twopoint vertex function of the (external) gauge field in the mirror sector shows a singular non-local behavior in the PMS phase. We re-examine why the attempt seems a "Mission: Impossible" in the 345 model. We point out that the effective operators to break the fermion number symmetries ('t Hooft operators plus others) in the mirror sector do not have sufficiently strong couplings even in the limit of large Majorana-Yukawa couplings. We also observe that the type of Majorana-Yukawa term considered there is singular in the large limit due to the nature of the chiral projection of the Ginsparg-Wilson fermions, but a slight modification without such singularity is allowed by virtue of the very nature. We then consider a simpler four-flavor axial gauge model, the 1 4 (-1) 4 model, in which the U(1) A gauge and Spin(6)( ∼ = SU(4)) global symmetries prohibit the bilinear terms, but allow the quartic terms to break all the other continuous mirror-fermion symmetries. We formulate the model so that it is well-behaved and simplified in the strong-coupling limit of the quartic operators. Through Monte-Carlo simulations in the weak gauge coupling limit, we show a numerical evidence that the two-point vertex function of the gauge field in the mirror sector shows a regular local behavior, and we still argue that all you need is killing the continuous mirror-fermion symmetries with would-be gauge anomalies non-matched. Finally, by gauging a U(1) subgroup of the U(1) A × Spin(6)(SU(4)) of the previous model, we formulate the 21(−1) 3 chiral gauge model and argue that the induced fermion measure term satisfies the required locality property and provides a solution to the reconstruction theorem. This gives us "A New Hope" for the mission to be accomplished.An explicit example of such lattice Dirac operator is given by the overlap Dirac operator [17,19], which was derived by Neuberger from the overlap formalism [22][23][24][25][26][27][28][29][30][31][32][33][34][35]. 2 By the Ginsparg-Wilson relation, it is possible to realize an exact chiral symmetry on the lattice [44] in the manner consistent with the no-go theorem. [45][46][47][48][49] It is also possible to introduce Weyl fermions on the lattice and this opens the possibility to formulate anomaly-free chiral gauge theories on the lattice [50][51][52][53][54][55][56][57][58][59][60][61][62][63][64][65][66][67][68]. In the case of U(1) chiral gauge theories, Lüscher[50] proved rigorously that it ...