maybe finalized almost-sigma-relatively-compact