Referenced by:

• com-computably-inseparable
• com-reducibility
• com-rices-thm