Precise definitions, boundaries between related concepts, exceptions, counterexamples, and resolution of misunderstandings.
