Attributes
. Push and Insert . Names
Termination
(1)