- Document and tighten up the properties of Dimension