Denna mängd har nu så länge varitett