A box is a single (im)mutable storage cell, which behaves like a one-element (im)mutable vector. Like vectors, immutable boxes are treated as transparent immutable values: they are eq? when their contents are eq?. Mutable boxes are references rather than values, so they are eq? only when they point to the same box object. Boxes can be concrete or symbolic, and they can contain both symbolic and concrete values.