As usual this interview is priceless. Martin Rees is mind blowing and I plan to listen the whole thing at least twice. But… I think Lex did not get HAL in 2001. He (it) did not “prioritize the mission over the humans”. It’s much more complex than that. HAL went psychotic because he (it) was forced to lie and hide instructions and objectives, all the while having been programed to give precise, correct answers. In other words, HAL went crazy due to cognitive dissonance and  wanted to kill everyone on board so as not to have to reveal the truth, or the lies, for that matter. Also, “in your lifetime” was a tough one… 😅