(how would you convince me M is

exercise to convince yourself (not just to guess) which is the case. ]]>

Consider L={<M>: M is a decider>.

I think I've manneged to prove by reduction that L isn't in R by a reduction from HTM.

The same reduction sates that L isn't in RE as well.

What about co-RE?