3 ms·Lots of good investigative work but its not clear if there is a decidable problem here.by streamofdigits 5y agoLots of good investigative work but its not clear if there is a decidable problem here.