A tough TOC question on recursively enumerable languages


#1