Attributes . Small Axiom . Names