... the sufficient, negating the necessary, existential before universal serial argument strings ... negating the sufficient, universal before existential serial argument strings.
One ... is before Implies (or the existential are before the universal qualifiers ...