Added another level of specification (enumerations).