turing 1936. E(G)