"It follows naturally from the rule: (∃ T . F⟨T⟩) → R ≃ ∀ T . (F⟨T⟩ → R)" — Yup; that's about as natural as it gets.
My point was around the amusing math tendency to apply words that ascribe "easiness" to something that isn't.
-
-
This is something I try (and often fail) to reduce in my SO answers. It's not "obvious" if someone had to ask.
-
And it's never "just" do thing_a. There's always context and background we take for granted.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.