Referenced by:

• com-reducibility
• ucb-metamathematics-b-03