Attributes . Alloy 20 . Names