  The cofinality quantifiers were introduced by Shelah as an example of a
compact logic stronger than first-order logic. We show that the classes of
models axiomatized by these quantifiers can be turned into an Abstract
Elementary Class by restricting to positive and deliberate uses. Rather than
using an ad hoc proof, we give a general framework of abstract Skolemization
that can prove a wide range of examples are Abstract Elementary Classes.
