Attributes . Available On-Tape for Automatic Termination. . Names