ParentFull threadzodiac·My guess: the definition of the BB function relies on the fact that a TM either halts or does not haltView on HN