Attributes . Logic Expansion Modules . Names