Alternate Names for hal's hole