more compactness tests