Attributes . Alloy . Names