[pron]

It's only hard if you're constructive (and so all relations have to be computable, including equality).