Attributes . Double Containment Termination . Names