  We give a development of the fine structure of mice with long extenders, to
the level of $\kappa^+$-supercompact cardinals $\kappa$. We do this using a
hierarchy with features more analogous to those familiar in the short extender
context than the hierarchies introduced by Woodin and by Neeman-Steel. In
particular, the mice we consider satisfy stronger versions of the initial
segment condition.
