Attributes . Quik-Alloy? . Names