  We model two-dimensional crystals by a configuration space in which every
admissible configuration is a hard disk configuration and a perturbed version
of some triangular lattice with side length one. In this model we show that,
under the uniform distribution, expected configurations in a given box are
arbitrarily close to some triangular lattice whenever the particle density is
chosen sufficiently high. This choice can be made independent of the box size.
