Turing's_proof loading ...