Bringing compactness (partially present already)