Sites that ∀ x ∈ X: x = Grütze follows