∀ x ∈ X: x = Grütze

Twine

• Here or at http://twinery.org