Referenced by:

• cats-full-faithful
• ucb-catthy-05
• logic-elementary-substructure