Description

Name of the definition. This need not be unique.