show that ` is total' is not partially decidable. [Hint: use s-m-n theorem and (a)].
is partially decidable. (we take this to mean that does not hold if any one of is undefined.)