Attributes . Alloy 5554 . Names