Attributes . HOL-1116-13 . Names