Halting problem input has finite size (i.e. it’s a Turing machine)