Referenced by:

• cats-skeleton
• ucb-settheory-09
• ucb-settheory-11
• sets-rank