Attributes . HOL-1126-65-10 . Names