Inom det hittills säkompakt