|entries|church-turing|