  We obtain sealing by forcing over a self-iterable model. The proof is
fine-structure free and uses only basic ideas from iteration theory. We believe
that such fine-structure free proofs will make the subject more accessible to
the general set theoretic community.
