Church-Turing_thesis loading ...