turing 1936, back HL