Table of contents:

1. Introduction
2. Statements
3. Definitions
   1. Predicates
   2. Modes
   3. Functors (means, equals)
   4. Attributes
4. Redefinitions
   1. Result Type is being changed
      1. Modes
      2. Functors
   2. Definiens is being changed
      1. Predicates
      2. Modes
      3. Functors (means, equals)
      4. Attributes
5. Registrations
   1. Existential
   2. Conditional
   3. Functorial
6. Properties
   1. Predicates
      1. reflexivity
      2. irreflexivity
      3. symmetry
      4. asymmetry
      5. connectedness
   2. Functors
      1. involutiveness (means, equals)
      2. projectivity (means, equals)
      3. commutativity (means, equals)
      4. idempotence (means, equals)
7. Properties in Redefinitions
   1. Predicates
      1. reflexivity
      2. irreflexivity
      3. symmetry
      4. asymmetry
      5. connectedness
   2. Functors
      1. commutativity
8. Definitional Expansions
   1. Predicates
      1. non permissive
      2. permissive
   2. Modes
      1. non permissive
      2. permissive
   3. Attributes
      1. non permissive
      2. permissive
9. Identify
   1. without 'when' statement
   2. with 'when' statement