Comment by foobahhhhh

Yes that too ... in general of course. ∀ does the heavy lifting.