omniduction formality

Formally, what I called "omniduction" seems to be universal instantiation running amok. The root cause is hastily asserting the universal qualifier over too large a set, thereby mistakenly asserting that one or more instance(s) are inside the set (and applicable to universal instantiation). Cramming the world into too limited of a logical domain.