Referenced by:

• logic-types-topology