Stereotomy definitions