_{T}) where ≤

_{T}is the turing-reducibility relation. This means there is no "easiest impossible problem" nor is there any "hardest still-not-turing-complete" problem, and it means you can find countably many different problems none of which help you solve any of the others.