Attributes . Alloy 88 . Names