Attributes . WE Alloy . Names