Attributes . HOL-217-86 . Names