A common problem that arises in software maintenance is identifying (and then removing) dead code, code that will never be executed no matter what input the program is given. The analogous problem for TMs would be to determine if a state is never entered, no matter what input the TM is given. Prove by reduction that Ldead, the set of pairs (T, s) where T is a Turing machine and s is a dead state, is not recursive