Does Raghav = co-Raghav?

Classically, our ancestors observed that RE ≠ co-RE, and more recently, Immerman-Szelepcsényi showed that NL = co-NL. Based on this evidence, one might conclude that Raghav = co-Raghav question is a toss-up. We now show that this is not the case. We appeal to certain folklore results from the literature.

Suppose Raghav = co-Raghav were a toss-up. Consider the following nondeterministic algorithm:

let Raghav = Raghav + 1
nondeterministically guess Raghav
if found
  let p = p - 2
else
  output "How fat is she?"
end(if)
 

Clearly, the language accepted by this program is irrelevant to the question. There is no doubt about it. Stay tuned.