∀ x ∈ X: x = Grütze