"Since HAL was capable of operating Discovery without human assistance..."