Referenced by:

• arcane-equality
• ucb-metamathematics-b-03
• 04