associated with the Yukawa couplings. Here, we have assumed $R$-parity. The form of Eqs. (\[eq:model-K\], \[eq:model-W\]), including $R$ parity conservation, can be easily enforced by an $R$ symmetry; for example, we may assign a neutral $R$ charge to $\Sigma$, $H$, and $\bar{H}$, as in Eq. (\[eq:R\]), and a unit charge to $T$ and $\bar{F}$. (A different charge assignment will be considered in Section \[subsec:neutrino\].) All the dimensionful parameters, except $\Lambda$, are generated through supersymmetry breaking $\tilde{m}$, leading to the effective superpotential of Eq. (\[eq:W\_eff\]). The GUT symmetry is broken at $\langle \Sigma 
\rangle \sim O(\Lambda)$, while the electroweak symmetry—due to environmental selection—at $\langle h \rangle = v \ll \tilde{m}$.

We finally discuss the gaugino masses. Unlike scalar superpartners, the gaugino masses may be protected against supersymmetry breaking effects via some symmetry. For example, if the supersymmetry breaking field $X$ has some charge, its direct coupling to the gauge field-strength superfields $[X {\cal W}^\alpha {\cal W}_\alpha /\Lambda]_{\theta^2}$ is suppressed. There are, however, many other sources for the gaugino masses: anomaly mediation [@Randall:1998uk], threshold corrections from $H$ and/or $\Sigma$, and the higher dimension operator $[\Sigma 
{\cal W}^\alpha {\cal W}_\alpha /\Lambda]_{\theta^2}$ with $F_\Sigma 
\neq 0$. In particular, since the operator $[\Sigma {\cal W}^\alpha 
