Ah check that makes perfect sense, so until I invent the turing oracle we are stuck :)