Some versions state that the name HAL was derived by a one letter shift (see Caesar cipher) from the name IBM, although this has been denied by
both Arthur C. Clarke and his fictional character Dr. Chandra, who states that "by now, any idiot should know that HAL stands for Heuristic
ALgorithmic" (2010).
