Formal definitions, classifications, distinctions, generalizations, exceptions, and conceptual relationships.
