Let G be a graph, and let ρ ∈ [0, 1]. For a set D of vertices of G, let the set H ρ (D) arise by starting with the set D, and iteratively adding further vertices u to the current set if they have at least ⌈ρd G (u)⌉ neighbors in it. If H ρ (D) contains all vertices of G, then