Attributes . Alloy 22 . Names