Everything without perplexity can be checked by a turing machine.