  We present a novel, perspicuous framework for building iterated ultrapowers.
Furthermore, our framework naturally lends itself to the construction of a
certain type of order indiscernibles, here dubbed tight indiscernibles, which
are shown to provide smooth proofs of several results in general model theory.
