Referenced by:

• capability-posets
• sets-well-ordering
• syntheses