  In this paper, we prove a fine condensation theorem. This is quite similar to
condensation theorems for pure extender mice in the literature, except that
condensation for iteration strategies has been added to the mix.
