hoop

• sustains
• recursion
• objective
• Escher
• extensional