Attributes . Static induction . Names