, 'identity', 'monomorphism', 'epimorphism',
'isomorphism', 'sum', 'product', 'diagram', 'cone', 'colimit', 'functor',
'natural-transformation', 'adjunction', 'instance', 'type', 'incidence',
'|=', 'indistinguishable', 'coextensive', 'separated', 'extensional',
'infomorphism', 'intent', 'extent', 'invariant', 'quotient', 'sequent',
'consequence', 'Theory', 'constraint', '|-', 'subtype', 'disjoint',
'partition', 'satisfies', 'regular', 'weakening', 'cut', 'Logic', 'normal',
'sound', 'complete', 'concept', 's