Let L 1
be a decidable language, and let L 2
be a language which is Turing-recognizable but not decidable. "-" denotes set subtraction. (2 points) Must L 2
−L 1
be Turing-recognizable? Prove your answer. (2 points) Must L 1
−L 2
be Turing-recognizable? Prove your answer. (Hint: Σ ∗
is decidable.)