A proof that the set of encodings of Turning machines that accept all strings is not Turing-recognizable.