We investigate the Josephson transport through ferromagnetic insulators (FIs) by taking into account the band structure of FIs explicitly. Using the recursive Green's function method, we found the formation of a π-junction ...