The models of ZFC^2 are, up to isomorphism, of the form (V_kappa, epsilon) where kappa is strongly i...