  We establish an optimal gluing construction for general relativistic initial
data sets. The construction is optimal in two distinct ways. First, it applies
to generic initial data sets and the required (generically satisfied)
hypotheses are geometrically and physically natural. Secondly, the construction
is completely local in the sense that the initial data is left unaltered on the
complement of arbitrarily small neighborhoods of the points about which the
gluing takes place. Using this construction we establish the existence of
cosmological, maximal globally hyperbolic, vacuum space-times with no constant
mean curvature spacelike Cauchy surfaces.
